Sciweavers

16513 search results - page 2910 / 3303
» Numerical Analysis Methods
Sort
View
POLICY
2005
Springer
16 years 5 days ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
SCIA
2005
Springer
108views Image Analysis» more  SCIA 2005»
16 years 5 days ago
Light Field Reconstruction Using a Planar Patch Model
Light fields are known for their potential in generating 3D reconstructions of a scene from novel viewpoints without need for a model of the scene. Reconstruction of novel views, ...
Adam Bowen, Andrew Mullins, Roland G. Wilson, Nasi...
SCIA
2005
Springer
182views Image Analysis» more  SCIA 2005»
16 years 5 days ago
Complex Correlation Statistic for Dense Stereoscopic Matching
A traditional solution of area-based stereo uses some kind of windowed pixel intensity correlation. This approach suffers from discretization artifacts which corrupt the correlat...
Jan Cech, Radim Sára
VLDB
2005
ACM
165views Database» more  VLDB 2005»
16 years 5 days ago
Semantic Adaptation of Schema Mappings when Schemas Evolve
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
Cong Yu, Lucian Popa
WABI
2005
Springer
110views Bioinformatics» more  WABI 2005»
16 years 5 days ago
Alignment of Tandem Repeats with Excision, Duplication, Substitution and Indels (EDSI)
Abstract. Traditional sequence comparison by alignment applies a mutation model comprising two events, substitutions and indels (insertions or deletions) of single positions (SI). ...
Michael Sammeth, Thomas Weniger, Dag Harmsen, Jens...
« Prev « First page 2910 / 3303 Last » Next »