×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of microsoft
Efficient E-Matching for SMT Solvers
A Tutorial on Satisfiability Modulo Theories
Geodesic image and video editing
Transforming Image Completion
Instrumenting scenarios in a model-driven development environment
Generating finite state machines from abstract state machines
The Decidability of Simultaneous Rigid E-Unification with One Variable
1 views
Time-Varying Noise Estimation for Speech Enhancement and Recognition Using Sequential Monte Carlo Method
Dependency Tree Translation: Syntactically Informed Phrasal SMT
Structural relevance: a common basis for the evaluation of structured document retrieval
An active feedback framework for image retrieval
Web image clustering by consistent utilization of visual features and surrounding texts
An active feedback framework for image retrieval
Repair and strengthening of segmental bridges using carbon fibers
Implementations of a model of physical sorting
On acceptance conditions for membrane systems: characterisations of L and NL
Modeling the Co-Occurrence Principles of the Consonant Inventories:. a Complex Network Approach
Surface RT 使用者指南
THE EVOLUTION OF WORK
Fast computation of general Fourier Transforms on GPUS
Next >