3468 search results - page 445 / 694 » An open logical framework |
139
click to vote
AINA
2006
IEEE
15 years 7 months ago
2006
IEEE
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...
158
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
120
click to vote
AAAI
2007
15 years 6 months ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
141
click to vote
FLAIRS
2007
15 years 6 months ago
2007
POMDPs are a popular framework for representing decision making problems that contain uncertainty. The high computational complexity of finding exact solutions to POMDPs has spaw...
135
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...