5200 search results - page 714 / 1040 » Symbolic models for control systems |
189
Voted
DIS
2001
Springer
16 years 22 hour ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
226
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
193
click to vote
FLAIRS
2010
15 years 9 months ago
2010
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
212
click to vote
ISTA
2008
15 years 9 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
220
Voted
WSC
2001
15 years 9 months ago
2001
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...