6799 search results - page 1001 / 1360 » The Tao of Modeling Spaces |
180
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We are rapidly moving toward a world where personal networked video cameras are ubiquitous. Already, camera-equipped cell phones are becoming commonplace. Imagine being able to ta...
307
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
While traditional database systems optimize for performance on one-shot queries, emerging large-scale monitoring applications require continuous tracking of complex aggregates and...
192
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The real world is composed of sets of objects that move and morph in both space and time. Useful concepts can be defined in terms of the complex interactions between the multi-...
170
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
214
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...