Sciweavers

5096 search results - page 721 / 1020
» Associations as a Language Construct
Sort
View
ICIP
1998
IEEE
16 years 8 months ago
Hardware Architecture for Optical Flow Estimation in Real Time
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
Aitzol Zuloaga, José Luis Martín, Jo...
ICIP
1994
IEEE
16 years 8 months ago
An Object-oriented Optimization System
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
G. S. Cunningham, K. M. Hanson, G. R. Jennings Jr....
ICDE
2004
IEEE
108views Database» more  ICDE 2004»
16 years 8 months ago
Using Stream Semantics for Continuous Queries in Media Stream Processors
In this demonstration paper we present a stream query processor capable of handling media (audio, video, motion ...) and feature streams. We show that due to their inherent semant...
Amarnath Gupta, Bin Liu, Pilho Kim, Ramesh Jain
CP
2009
Springer
16 years 7 months ago
Propagator Groups
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
Mikael Z. Lagerkvist, Christian Schulte
CADE
2006
Springer
16 years 7 months ago
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
Christian Urban, Stefan Berghofer