3028 search results - page 228 / 606 » Integrating Temporal Logics |
230
click to vote
AGP
2003
IEEE
16 years 17 days ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
182
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
134
click to vote
ISCAS
2005
IEEE
16 years 26 days ago
2005
IEEE
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
214
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
175
click to vote
ISCAS
2003
IEEE
16 years 16 days ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...