3229 search results - page 312 / 646 » The Theory of Timed Automata |
166
Voted
ITC
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
135
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
192
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Computing optimal strategies to commit to in general normal-form or Bayesian games is a topic that has recently been gaining attention, in part due to the application of such algo...
165
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we study the problem of stabilizing a networked control system (NCS) composed of N linear dynamical subplants and an equal number of controllers acting over a sha...
120
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper is about a new research field called Web Intelligence (WI for short). We try to explain the needs for coining the term as a sub-discipline of computer science...