2012 search results - page 358 / 403 » CORAL - Control, Relations and Logic |
187
click to vote
APSCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
128
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
207
click to vote
EEF
2000
15 years 9 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
129
click to vote
IMS
2000
15 years 9 months ago
2000
Many architectural ideas that appear to be useful from a hardware standpoint fail to achieve wide acceptance due to lack of compiler support. In this paper we explore the design of...
162
click to vote
KR
1991
Springer
15 years 9 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...