849 search results - page 7 / 170 » A survey of state vectors |
BIOSIG
2010
14 years 10 months ago
2010
Abstract: Mobile phones are widely used nowadays and during the last years developed from simple phones to small computers with an increasing number of features. These result in a ...
105
Voted
ICALP
2009
Springer
16 years 12 days ago
2009
Springer
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...
141
Voted
AAMAS
2005
Springer
15 years 1 days ago
2005
Springer
Cooperative multi-agent systems are ones in which several agents attempt, through their interaction, to jointly solve tasks or to maximize utility. Due to the interactions among t...
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
The main effort in oscillator phase noise calculation lies in computing a vector function called the Perturbation Projection Vector (PPV). Current techniques for PPV calculation u...
JUCS
2007
15 years 7 hour ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...