9018 search results - page 1525 / 1804 » 3D-Brain Model Software |
141
click to vote
CIVR
2007
Springer
16 years 7 days ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
159
click to vote
CLEAR
2007
Springer
16 years 7 days ago
2007
Springer
We describe the latest version of the SRI-ICSI meeting and lecture recognition system, as was used in the NIST RT-07 evaluations, highlighting improvements made over the last year....
160
click to vote
EEMMAS
2007
Springer
16 years 7 days ago
2007
Springer
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
141
click to vote
FOSSACS
2007
Springer
16 years 7 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
142
click to vote
FOSSACS
2007
Springer
16 years 7 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...