3824 search results - page 550 / 765 » Geometry Constructions Language |
124
Voted
ICIP
1994
IEEE
16 years 5 months ago
1994
IEEE
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 ...
198
click to vote
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
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...
218
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
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...
118
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
112
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We demonstrate an XML full-text search engine that implements the TeXQuery language. TeXQuery is a powerful fulltext search extension to XQuery that provides a rich set of fully c...