Sciweavers

8917 search results - page 442 / 1784
» Abstraction in Algorithm Animation
Sort
View
MLQ
2008
63views more  MLQ 2008»
15 years 6 months ago
Elementary constructive theory of Henselian local rings
Abstract. We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
Maria Emilia Alonso, Henri Lombardi, Hervé ...

Presentation
896views
15 years 4 months ago
Exponential families and simplification of mixture models
Presentation of the exponential families, of the mixtures of such distributions and how to learn it. We then present algorithms to simplify mixture model, using Kullback-Leibler di...
JAIHC
2010
88views more  JAIHC 2010»
15 years 1 months ago
SmartEx: a case study on user profiling and adaptation in exhibition booths
Abstract An investigation into user profiling and adaptation with exhibition booth as a case study is reported. First a review of the field of exhibitions and trade fairs and
Ben Salem, Jorge Alves Lino, Matthias Rauterberg
185
Voted
IROS
2006
IEEE
205views Robotics» more  IROS 2006»
16 years 25 days ago
Good Image Features for Bearing-only SLAM
Abstract— In this paper, we propose an algorithm for extracting and selecting SIFT (scale-invariant feature transform) visual features for bearing-only SLAM in indoor environment...
Xiang Wang, Hong Zhang
207
Voted
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 10 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná