5200 search results - page 881 / 1040 » Symbolic models for control systems |
270
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Most bioimaging modalities rely on indirect measurements of the quantity under investigation. The image is obtained as the result of an optimization problem involving a physical m...
191
click to vote
MOBIHOC
2001
ACM
16 years 6 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
246
click to vote
ACHI
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
185
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
206
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The recent ECMA-368 standard specifies the use of ultra wideband (UWB) technology for high rate communications in wireless personal area networks (WPANs). This paper proposes ...