1418 search results - page 180 / 284 » The Dynamic Complexity of Formal Languages |
148
click to vote
JANCL
2008
15 years 4 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
118
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
163
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
141
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
136
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...