5216 search results - page 869 / 1044 » Planning as Model Checking |
127
click to vote
NDJFL
2000
15 years 3 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
137
click to vote
TON
1998
15 years 3 months ago
1998
—The notion of effective bandwidths has provided a useful practical framework for connection admission control and capacity planning in high-speed communication networks. The ass...
179
click to vote
EDBT
2009
ACM
15 years 1 months ago
2009
ACM
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
136
click to vote
HCI
2009
15 years 1 months ago
2009
Sign language (SL) recognition modules in human-computer interaction systems need to be both fast and reliable. In cases where multiple sets of features are extracted from the SL d...
165
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...