1412 search results - page 126 / 283 » types 2004 |
167
click to vote
HUC
2004
Springer
16 years 6 days 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...
159
click to vote
HYBRID
2004
Springer
16 years 6 days 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...
181
click to vote
ICALP
2004
Springer
16 years 6 days 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...
164
click to vote
ICALP
2004
Springer
16 years 6 days 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...
168
click to vote
ICALP
2004
Springer
16 years 6 days 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...