5550 search results - page 560 / 1110 » Different Approaches to Proof Systems |
243
click to vote
MOBIHOC
2010
ACM
15 years 5 months ago
2010
ACM
We explore the problem of detecting whether a device has moved within a room. Our approach relies on comparing summaries of received signal strength measurements over time, which ...
181
click to vote
NAACL
2010
15 years 5 months ago
2010
Phonetic string transduction problems, such as letter-to-phoneme conversion and name transliteration, have recently received much attention in the NLP community. In the past few y...
206
click to vote
GVD
2009
15 years 5 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
214
click to vote
JSS
2010
15 years 2 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
189
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
There are several different approaches to video retrieval which vary in sophistication, and in the level of their deployment. Some are well-known, others are not yet within our re...