2911 search results - page 390 / 583 » A Logic of Graph Constraints |
168
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
194
click to vote
AAAI
1996
15 years 7 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
190
click to vote
TCAD
2008
15 years 6 months ago
2008
This paper describes an integer-linear-programming (ILP)-based system called Custom Hardware Instruction Processor Synthesis (CHIPS) that identifies custom instructions for critica...
191
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...