1036 search results - page 46 / 208 » Incompleteness of Behavioral Logics |
AAAI
1996
13 years 10 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...
AAI
2005
13 years 8 months ago
2005
This paper is about people. It is about understanding how learning and communication mutually influence one another; allowing people to infer each other's communicative behavi...
CIA
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...