Sciweavers

8917 search results - page 1680 / 1784
» Abstraction in Algorithm Animation
Sort
View
EON
2008
15 years 4 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
IMECS
2007
15 years 4 months ago
Knowledge Acquisition from Computer Log Files by ADG with Variable Agent Size
Abstract—We had previously proposed an outstanding evolutionary method, Automatically Defined Groups (ADG), for generating heterogeneous cooperative agents, and then we had deve...
Akira Hara, Yoshiaki Kurosawa, Takumi Ichimura
RSS
2007
145views Robotics» more  RSS 2007»
15 years 4 months ago
Semantic Modeling of Places using Objects
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...
Ananth Ranganathan, Frank Dellaert
143
Voted
DLOG
2006
15 years 4 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev
144
Voted
SPIESR
2003
136views Database» more  SPIESR 2003»
15 years 4 months ago
Automatic Soccer Video Analysis and Summarization
Abstract—We propose a fully automatic and computationally efficient framework for analysis and summarization of soccer videos using cinematic and object-based features. The propo...
Ahmet Ekin, A. Murat Tekalp
« Prev « First page 1680 / 1784 Last » Next »