1855 search results - page 155 / 371 » System Consequence |
118
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
135
click to vote
ENC
2003
IEEE
15 years 9 months ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
129
Voted
ISCAS
2003
IEEE
15 years 9 months 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...
130
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
123
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...