4609 search results - page 876 / 922 » Automatic Generation of Sigma-Protocols |
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
105
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Understanding intents from search queries can improve a user’s search experience and boost a site’s advertising profits. Query tagging via statistical sequential labeling mode...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Collaborative Filtering, considered by many researchers as the most important technique for information filtering, has been extensively studied by both academic and industrial co...
127
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
104
click to vote
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Vocabularies are the building blocks of the Semantic Web providing shared terminological resources for content indexing, information retrieval, data exchange, and content integrati...