1412 search results - page 126 / 283 » types 2004 |
159
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article describes development of the concept of Information Art, a type of ambient or peripheral display involving user-specified electronic paintings in which resi...
149
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
173
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
148
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
155
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...