383 search results - page 58 / 77 » Reusing Scenario Based Approaches in Requirement Engineering... |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
SAB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Recently, Rao-Blackwellized particle filters have become a popular tool to solve the simultaneous localization and mapping problem. This technique applies a particle filter i...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...
RIAO
2000
13 years 9 months ago
2000
Informationretrieval systems typically weight the importance of search terms according to document and collection statistics (such as by using tf idf scores, where less commonterm...