34 search results - page 7 / 7 » VESTA: A Statistical Model-checker and Analyzer for Probabil... |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Many multiagent domains where cooperation among agents is crucial to achieving a common goal can be modeled as coalitional games. However, in many of these domains, agents are une...
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
WEBI
2007
Springer
13 years 11 months ago
2007
Springer
— We consider the problem of finding the relevant named entities in response to a search query over a given text corpus. Entity search can readily be used to augment conventiona...
MOBICOM
2004
ACM
13 years 10 months ago
2004
ACM
Many sensor network applications require location awareness, but it is often too expensive to include a GPS receiver in a sensor network node. Hence, localization schemes for sens...