简介：keep current with all the latest microsoft research publications and technical reports

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

标签：microsoft

“Microsoft Research Publications”的内容更新

累计：1043 篇（自 2007-04-02 起）

更新：约4篇/周，最后更新3 天前

Microsoft Research Publications

Transitive primal infon logic

primal (propositional) logic pl is the {∧,→} fragment of intuitionistic logic, and primal (propositional) infon logic pil is a conservative extension of pl with the quotation construct psaid. logic pil was introduced by gurevich and neeman in 2009 in connection with the dkal project. the derivation problem for pil (and therefore for pl) is solvable in ... (3 天前)

http://inezha.com/w/2js4r254

Microsoft Research Publications

Foundational Analyses of Computation

how can one possibly analyze computation in general? the task seems daunting if not impossible. the notion of computation in general is so amorphous. like in quicksand, one needs a fulcrum. an analysis of computation needs to be grounded on some more specific viewpoint on computation. there are few fundamental analyses of computation in the literature. i... (3 天前)

http://inezha.com/w/86km225x

Microsoft Research Publications

Query Suggestion by Constructing Term-Transition Gra

query suggestion is an interactive approach for search engines to better understand users information need. in this paper, we propose a novel query suggestion framework which leverages user re-query feedbacks from search engine logs. specifically, we mined user query reformulation activities where the user only modifies part of the query by (1) adding te... (4 天前)

http://inezha.com/w/omv6b252

Microsoft Research Publications

Program Extrapolation with Jennisys

the desired behavior of a program can be described using an abstract model. compiling such a model into executable code requires advanced compilation techniques known as synthesis. this paper presents a language, called jennisys, where programming is done by introducing an abstract model, defining a concrete data representation for the model, and then be... (4 天前)

http://inezha.com/w/j4sjj25k

Microsoft Research Publications

Foundations of Logic-Based Trust Management

over the last 15 years, many policy languages have been developed for specifying policies and credentials under the trust management paradigm. what has been missing is a formal semantics -- in particular, one that would capture the inherently dynamic nature of trust management, where access decisions are based on the local policy in conjunction with vary... (11 天前)

http://inezha.com/w/hlk0y253

Microsoft Research Publications

ZZFS: A hybrid device and cloud file system for spon

good execution of data placement, caching and consistency policies across a user’s personal devices has always been hard. unpredictable networks, capricious user behavior with leaving devices on or off and non-uniform energy-saving policies constantly interfere with the good intentions of a storage system’s policies. this paper’s contribution is to be... (11 天前)

http://inezha.com/w/g3vqu25i

Microsoft Research Publications

Non-Parametric Segmentation of Regime-Switching Time

we introduce a non-parametric approach for the segmentation in regime-switching time-series models. the approach is based on spectral clustering of target-regressor tuples and derives a switching regression tree, where regime switches are modeled by oblique splits. our segmentation method is very parsimonious in the number of splits evaluated during the ... (11 天前)

http://inezha.com/w/uns7r15b

订阅者 ( 1 )

相关订阅源