Sciweavers

2498 search results - page 329 / 500
» Data Structures with Unpredictable Timing
Sort
View
ER
2007
Springer
141views Database» more  ER 2007»
16 years 17 days ago
Active Meta Modeling Support for Evolving E-contracts
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
P. Radha Krishna, Kamalakar Karlapalem
PPAM
2007
Springer
16 years 15 days ago
Empowering Automatic Semantic Annotation in Grid
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
Michal Laclavik, Marek Ciglan, Martin Seleng, Ladi...
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 14 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
166
Voted
ICMCS
2006
IEEE
98views Multimedia» more  ICMCS 2006»
16 years 13 days ago
A Two-Layer Graphical Model for Combined Video Shot and Scene Boundary Detection
In this work we present a novel two-layer hybrid Graphical model for combined shot and scene boundary detection in videos. In the first layer of the model, low-level features are...
Marc Al-Hames, Stefan Zettl, Frank Wallhoff, Steph...
170
Voted
ICRA
2006
IEEE
83views Robotics» more  ICRA 2006»
16 years 13 days ago
On the Treatment of Relative-pose Measurements for Mobile Robot Localization
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
Anastasios I. Mourikis, Stergios I. Roumeliotis