Sciweavers

8917 search results - page 1515 / 1784
» Abstraction in Algorithm Animation
Sort
View
IBPRIA
2009
Springer
15 years 9 months ago
Match Selection in Batch Mosaicing Using Mutual Information
Abstract. Large area photo-mosaics are widely used in many different applications such as optical mapping, panorama creation and autonomous vehicle navigation. When the trajectory...
Armagan Elibol, Nuno Gracias, Rafael García
ICIDS
2009
Springer
15 years 9 months ago
Comparing Effects of Different Cinematic Visualization Strategies on Viewer Comprehension
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
Arnav Jhala, R. Michael Young
ICLP
2009
Springer
15 years 9 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma
IWINAC
2009
Springer
15 years 9 months ago
Results of an Adaboost Approach on Alzheimer's Disease Detection on MRI
Abstract. In this paper we explore the use of the Voxel-based Morphometry (VBM) detection clusters to guide the feature extraction processes for the detection of Alzheimer's d...
Alexandre Savio, Maite García-Sebasti&aacut...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 9 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
« Prev « First page 1515 / 1784 Last » Next »