7820 search results - page 1294 / 1564 » Formalization of Time and Space |
161
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
179
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Fine-grained parallel applications require all their processes to run simultaneously on distinct processors to achieve good efficiency. This is typically accomplished by space sl...
189
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...
164
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...
190
click to vote
PERCOM
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...