12052 search results - page 643 / 2411 » computing 2010 |
193
click to vote
TCS
2010
15 years 5 months ago
2010
We study non-uniform constraint satisfaction problems definable in monadic Datalog stratified by the use of non-linearity. We show how such problems can be described in terms of...
187
click to vote
ACL
2010
15 years 5 months ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
201
click to vote
NAACL
2010
15 years 5 months ago
2010
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...
227
click to vote
TCS
2010
15 years 1 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
185
click to vote
MIG
2010
Springer
15 years 5 months ago
2010
Springer
Pose control for physically simulated characters has typically been based on proportional-derivative (PD) controllers. In this paper, we introduce a novel, analytical solution to t...