6770 search results - page 471 / 1354 » How GPUs Work |
137
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In real world applications, agents - be they software agents or autonomous robots - inevitably face erroneous situations that have not been planned for. Re-planning can sometimes ...
142
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
135
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
150
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
134
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...