6608 search results - page 1124 / 1322 » On the Completeness of Model Checking |
152
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Dynamic networks are those where the topology changes over time and therefore efficient routes need to be maintained by frequent updates. Such updates could be costly in terms of ...
169
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
165
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
152
Voted
CACM
1998
15 years 4 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
129
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...