Sciweavers

1004 search results - page 103 / 201
» Modeling and Control - Flexible Structure Spacecraft
Sort
View
FMSD
2006
140views more  FMSD 2006»
15 years 4 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
CVPR
2004
IEEE
16 years 6 months ago
Accurate Face Models from Uncalibrated and Ill-Lit Video Sequences
In this paper, we propose a face reconstruction technique that produces models that not only look good when texture mapped, but are also metrically accurate. Our method is designe...
Miodrag Dimitrijevic, Slobodan Ilic, Pascal Fua
CSB
2004
IEEE
115views Bioinformatics» more  CSB 2004»
15 years 8 months ago
PoPS: A Computational Tool for Modeling and Predicting Protease Specificity
Proteases play a fundamental role in the control of intra- and extracellular processes by binding and cleaving specific amino acid sequences. Identifying these targets is extremel...
Sarah E. Boyd, Maria J. García de la Banda,...
WEBNET
2001
15 years 5 months ago
An Adaptive Hypermedia Presentation Modeling System for Custom Knowledge Representations
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
Pablo Castells, José Antonio Macías ...
PAA
2002
15 years 4 months ago
Combining Discriminant Models with New Multi-Class SVMs
: The idea of performing model combination, instead of model selection, has a long theoretical background in statistics. However, making use of theoretical results is ordinarily su...
Yann Guermeur