4434 search results - page 518 / 887 » On the Composition of Hybrid Systems |
179
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
218
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The semantic Web and Web service technologies have provided both new possibilities and challenges to automatic information processing. There are a lot of researches on applying th...
169
click to vote
CHI
2003
ACM
16 years 7 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...
130
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...
155
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...