12981 search results - page 2126 / 2597 » Model Checking (Abstract) |
210
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
191
click to vote
VLSID
2006
IEEE
16 years 25 days ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
221
click to vote
MINENET
2006
ACM
16 years 24 days ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
180
Voted
ACMICEC
2005
ACM
16 years 12 days ago
2005
ACM
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
178
click to vote
MKM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...