15660 search results - page 310 / 3132 » The Unbalance of Set Systems |
224
Voted
JAIR
2002
15 years 7 months ago
2002
Much work in AI deals with the selection of proper actions in a given (known or unknown) environment. However, the way to select a proper action when facing other agents is quite ...
186
click to vote
BSL
2008
15 years 7 months ago
2008
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
220
click to vote
DSRT
2005
IEEE
16 years 1 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
223
click to vote
HYBRID
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
229
Voted
MST
2006
15 years 7 months ago
2006
We consider the transition graphs of regular ground tree (or term) rewriting systems. The vertex set of such a graph is a (possibly infinite) set of trees. Thus, with a finite tree...