3729 search results - page 582 / 746 » On Formal Modeling of Agent Computations |
158
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
171
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
157
click to vote
ICAC
2007
IEEE
16 years 24 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
149
click to vote
ICDE
2007
IEEE
16 years 23 days ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
169
click to vote
NCA
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...