210 search results - page 40 / 42 » Classical descriptive set theory as a refinement of effectiv... |
PODS
2010
ACM
14 years 21 days ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
AI
2010
Springer
13 years 7 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
DEDS
2000
13 years 7 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
COMPGEOM
2010
ACM
14 years 21 days ago
2010
ACM
We present a simple randomized scheme for triangulating a set P of n points in the plane, and construct a kinetic data structure which maintains the triangulation as the points of...