4631 search results - page 559 / 927 » Experiences with an Environment Generation System |
197
click to vote
IJRR
2007
15 years 6 months ago
2007
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract a person’s activities and significant plac...
190
click to vote
ISCI
2007
15 years 6 months ago
2007
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
187
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
172
click to vote
EMNLP
2010
15 years 4 months ago
2010
Syntax-based translation models should in principle be efficient with polynomially-sized search space, but in practice they are often embarassingly slow, partly due to the cost of...
325
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...