3082 search results - page 143 / 617 » Deviation Analysis: A New Use of Model Checking |
204
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
164
click to vote
ICECCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
171
click to vote
MSWIM
2006
ACM
16 years 9 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
216
click to vote
BIOINFORMATICS
2010
15 years 4 months ago
2010
Motivation: Peaks are the key information in Mass Spectrometry (MS) which has been increasingly used to discover diseases related proteomic patterns. Peak detection is an essentia...
160
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper develops an efficient new method for 3D partial shape retrieval. First, a Monte Carlo sampling strategy is employed to extract local shape signatures from each 3D model...