7213 search results - page 204 / 1443 » Automated model grouping |
134
Voted
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
130
click to vote
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
140
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
131
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...
150
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...