1690 search results - page 32 / 338 » Algorithmic Properties of Millstream Systems |
148
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
Over the last few years, target tracking in wireless sensor networks has become a topic of particular interest. This paper presents a tracking system intended for deployment in di...
111
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, an efficient algorithm is presented for solving the 2-D optimization problem which is associated with computing the robustness measures of a number of linear time-in...
104
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
121
Voted
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
127
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...