Sciweavers

15635 search results - page 225 / 3127
» A Designing Model of XML-Dataweb
Sort
View
ECTEL
2007
Springer
15 years 10 months ago
Curriculum Model Checking: Declarative Representation and Verification of Properties
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
Matteo Baldoni, Elisa Marengo
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
15 years 11 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...
CVPR
2008
IEEE
16 years 8 months ago
Toward automatic 3D modeling of scenes using a generic camera model
The automatic reconstruction of 3D models from image sequences is still a very active field of research. All existing methods are designed for a given camera model, and a new (and...
Maxime Lhuillier
TAMODIA
2004
15 years 7 months ago
Task models and interaction models in a multiple user interfaces generation process
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
Kinan Samaan, Franck Tarpin-Bernard
ASM
2010
ASM
16 years 3 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler