4693 search results - page 458 / 939 » Verifying Hybrid Systems |
201
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...
216
click to vote
JDCTA
2010
15 years 1 months ago
2010
The content and searching method of knowledge base are lack of the consideration of user requirements, it is difficult for the user to select the knowledge satisfy with the user r...
191
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
199
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
216
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
In large-scale, self-organized and distributed systems, such as peer-to-peer (P2P) overlays and wireless sensor networks (WSN), a small proportion of nodes are likely to be more c...