7820 search results - page 1503 / 1564 » Formalization of Time and Space |
200
click to vote
AFRIGRAPH
2004
ACM
15 years 11 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
147
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
173
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
189
click to vote
SENSYS
2004
ACM
15 years 11 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
160
Voted
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
We have investigated a problem where the goal is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type OBSTACLE, EMPTY or CRE...