Sciweavers

9730 search results - page 376 / 1946
» Relating models of backtracking
Sort
View
ECAI
2004
Springer
16 years 4 days ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
151
Voted
EWSA
2004
Springer
16 years 4 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ICWE
2004
Springer
16 years 3 days ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
3DIM
2003
IEEE
16 years 1 days ago
Human Figure Reconstruction and Modeling from Single Image or Monocular Video Sequence
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...
Fabio Remondino, Andreas Roditakis
ICDAR
2003
IEEE
16 years 1 days ago
Classification of Web Documents Using a Graph Model
In this paper we describe work relating to classification of web documents using a graph-based model instead of the traditional vector-based model for document representation. We ...
Adam Schenker, Mark Last, Horst Bunke, Abraham Kan...