Sciweavers

3238 search results - page 377 / 648
» On the Computational Interpretation of Negation
Sort
View
150
Voted
ICPR
2002
IEEE
15 years 11 months ago
Neighborhood Coherence and Edge Based Approaches to Film Scene Extraction
In order to enable high-level semantics-based video annotation and interpretation, we tackle the problem of automatic decomposition of motion pictures into meaningful story units,...
Ba Tu Truong, Svetha Venkatesh, Chitra Dorai
ICRA
2002
IEEE
111views Robotics» more  ICRA 2002»
15 years 11 months ago
Feature-Based Multi-Hypothesis Localization and Tracking for Mobile Robots using Geometric Constraints
In this paper we present a new probabilistic feature-based approach to multi-hypothesis global localization and pose tracking. Hypotheses are generated using a constraintbased sea...
Kai Oliver Arras, José A. Castellanos, Rola...
ICPR
2000
IEEE
15 years 11 months ago
Constrained Mixture Modeling of Intrinsically Low-Dimensional Distributions
In this paper we introduce a novel way of modeling distributions with a low latent dimensionality. Our method allows for a strict control of the properties of the mapping between ...
Joris Portegies Zwart, Ben J. A. Kröse
PLDI
2000
ACM
15 years 11 months ago
Caching function calls using precise dependencies
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
Allan Heydon, Roy Levin, Yuan Yu
ASIACRYPT
2000
Springer
15 years 11 months ago
A Note on Security Proofs in the Generic Model
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
Marc Fischlin