14331 search results - page 152 / 2867 » On the modeling and analysis of obligations |
194
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
174
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
148
click to vote
PAMI
2008
2008
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
15 years 6 months ago
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
167
click to vote
MVA
2006
15 years 6 months ago
2006
We describe tools for automatic identification and classification of diatoms that compare photographs with other photographs and drawings, via a model. Identification of diatoms, i...
168
click to vote
NCA
2002
IEEE
15 years 6 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...