2366 search results - page 299 / 474 » Pfaffian Hybrid Systems |
161
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Museums attract increasing numbers of online visitors along with their conventional physical visitors. This paper presents a study of a mixed reality system that allows web, virtu...
122
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In the growing field of collective robotics, spatial co-ordination between robots is often critical and usually achieved via local relative positioning sensors. We believe tha...
147
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
161
click to vote
RTAS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
190
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...