Sciweavers

4325 search results - page 226 / 865
» Incremental computation with names
Sort
View
BIRTHDAY
2005
Springer
15 years 8 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
ICPR
2004
IEEE
16 years 7 months ago
Edge Detection in Range Images of Piled Box-like Objects
We present a framework for edge detection in range images acquired by a time of flight laser sensor. Our edge detection approach is inspired by [7], in the context of which edge d...
Andreas Werber, Dimitrios Katsoulas
ACII
2007
Springer
16 years 24 days ago
Metaphor and Affect Detection in an ICA
We discuss an aspect of an affect-detection system used in edrama by intelligent conversational agents, namely affective interpretation of limited sorts of metaphorical utterance. ...
Timothy H. Rumbell, C. J. Smith, John A. Barnden, ...
ATAL
2007
Springer
16 years 23 days ago
Programming and simulation of quantum search agents
Key idea of this work is to appropriately extend one prominent generic agent architecture, namely InteRRap [8], to the case of a quantum pattern matching (QPM) based type-I quantu...
Matthias Klusch, René Schubotz
ISAAC
2005
Springer
100views Algorithms» more  ISAAC 2005»
16 years 3 days ago
Separability with Outliers
We develop exact and approximate algorithms for computing optimal separators and measuring the extent to which two point sets in d-dimensional space are separated, with respect to...
Sariel Har-Peled, Vladlen Koltun