3799 search results - page 263 / 760 » An Engineering Approach to Formal Methods |
180
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
211
click to vote
CRV
2004
IEEE
15 years 10 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
171
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
187
Voted
KCAP
2005
ACM
16 years 6 days ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
183
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...