Sciweavers

3593 search results - page 490 / 719
» A Generative Model Based Approach to Motion Segmentation
Sort
View
IJCAT
2010
132views more  IJCAT 2010»
15 years 5 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 11 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
IDEAL
2009
Springer
15 years 11 months ago
The Winning Advantage: Using Opponent Models in Robot Soccer
Opponent modeling is a skill in multi-agent systems (MAS) which attempts to create a model of the behavior of the opponent. This model can be used to predict the future actions of ...
José Antonio Iglesias, Juan Antonio Fern&aa...
CVGIP
2000
124views more  CVGIP 2000»
15 years 6 months ago
Hierarchical Solutions for the Deformable Surface Problem in Visualization
In this paper we present a hierarchical approach for the deformable surface technique. This technique is a three dimensional extension of the snake segmentation method. We use it ...
Christoph Lürig, Leif Kobbelt, Thomas Ertl