Sciweavers

1690 search results - page 88 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
130
Voted
ICCV
2001
IEEE
16 years 6 months ago
Caustics of Catadioptric Cameras
Conventional vision systems and algorithms assume the camera to have a single viewpoint. However, sensors need not always maintain a single viewpoint. For instance, an incorrectly...
Rahul Swaminathan, Michael D. Grossberg, Shree K. ...
JAL
2006
114views more  JAL 2006»
15 years 4 months ago
A wide-range algorithm for minimal triangulation from an arbitrary ordering
We present a new algorithm, called LB-Triang, which computes minimal triangulations. We give both a straightforward O(nm0) time implementation and a more involved O(nm) time imple...
Anne Berry, Jean Paul Bordat, Pinar Heggernes, Gen...
TLCA
2005
Springer
15 years 9 months ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
15 years 8 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau
129
Voted
COLING
2010
14 years 11 months ago
Antelogue: Pronoun Resolution for Text and Dialogue
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...
Eleni Miltsakaki