3729 search results - page 672 / 746 » On Formal Modeling of Agent Computations |
161
Voted
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...
167
click to vote
PDIS
1996
IEEE
15 years 10 months ago
1996
IEEE
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
153
Voted
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
154
Voted
DAC
2007
ACM
15 years 10 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
173
click to vote
ECCV
2006
Springer
15 years 9 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...