422 search results - page 12 / 85 » On Modal Refinement and Consistency |
124
click to vote
AIML
2008
15 years 3 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
121
Voted
ENTCS
2010
15 years 2 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
114
click to vote
CIVR
2003
Springer
15 years 7 months ago
2003
Springer
We present an algorithm for video retrieval that fuses the decisions of multiple retrieval agents in both text and image modalities. While the normalization and combination of evi...
100
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
106
Voted
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
In recent years particle filters have become a tremendously popular tool to perform tracking for non-linear and/or non-Gaussian models. This is due to their simplicity, generality...