3229 search results - page 312 / 646 » The Theory of Timed Automata |
178
click to vote
ITC
2003
IEEE
16 years 22 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...
156
click to vote
HICSS
2002
IEEE
16 years 12 days 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...
210
Voted
SIGECOM
2010
ACM
16 years 8 days 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...
178
Voted
CDC
2009
IEEE
16 years 5 days 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...
130
Voted
WEBI
2001
Springer
15 years 12 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...