简介：keep current with all the latest microsoft research downloads

原站：http://research.microsoft.com/research/downloads/

标签：microsoft

指数：

“Microsoft Research Downloads”的内容更新

累计：229 篇（自 2007-04-26 起）

更新：约4篇/月，最后更新23 天前

Microsoft Research Downloads

Time Series Foundation

time series foundation (tsf) is an open, .net platform for exploring and prototyping new algorithms in time series analysis and forecasting. tsf is based on state space model methodology that includes all types of exponential smoothing, some autoregressive algorithms, and innovative algorithms for event detection and calendar event impact prediction. tsf... (23 天前)

http://inezha.com/w/ra7pzx8i

Microsoft Research Downloads

F7: Refinement Types for F# (2012)

f7 is an enhanced type checker for the f# programming language. f7 supports static checking of properties expressed with refinement types. our motivation is to check various security properties of f# implementation code by typing.... (68 天前)

http://inezha.com/w/ntlwnx8h

Microsoft Research Downloads

Tark: A Tool Kit to Mine Linear Temporal Rules

with this tool kit, users can mine linear temporal rules involving multiple events. the mined rules can capture data constraints on event fields and data-flow constraints between event fields via quantification. the tool kit can be used to mine rules over different views of events using event abstractions. in addition, the tool kit can be used to mine no... (89 天前)

http://inezha.com/w/92ix8x8m

Microsoft Research Downloads

Project Daytona: Iterative MapReduce on Windows Azur

microsoft has developed an iterative mapreduce runtime for windows azure, code-named daytona. project daytona is designed to support a wide class of data analytics and machine-learning algorithms. it can scale to hundreds of server cores for analysis of distributed data. project daytona was developed as part of the extreme computing group’s cloud resear... (97 天前)

http://inezha.com/w/be7utw8x

Microsoft Research Downloads

Automatic Graph Layout

microsoft automatic graph layout (msagl), formerly known as glee, is a .net tool for laying out and visualizing directed graphs. you can use msagl to represent complex directed graphs, such as those found in business management, manufacturing, and network analysis, as well as phylogenetic trees, which are used in bioinformatics research. msagl is now ava... (97 天前)

http://inezha.com/w/thlnhw82

Microsoft Research Downloads

Microsoft Research Automata Tool Kit

automata is a .net tool kit that provides facilities for manipulating and analyzing regular expressions, symbolic finite automata, and symbolic finite transducers. it supports automata and transducers where input and output alphabets can be fully symbolic. constraints over the alphabets can be analyzed using satisfiability modulo theory (smt) solvers. th... (109 天前)

http://inezha.com/w/xfi30w80

Microsoft Research Downloads

Dynamic Data Display for Silverlight

dynamic data display adds interactive visualization of dynamic data to your silverlight application. the download contains a set of ui controls for creating line graphs, bubble charts, heat maps, and other complex 2-d plots. the library integrates well with the bing maps control to show data in latitude/longitude coordinates. the controls are compatible ... (117 天前)

http://inezha.com/w/y77lzw8o

订阅者 ( 6 )

相关订阅源