3058 search results - page 32 / 612 » Reflections on |
ADC
2006
Springer
13 years 11 months ago
2006
Springer
XML-based databases have become a major area of in database research. Abstractly speaking they can be considered as a resurrection of complexvalue databases using constructors for...
AI
2001
Springer
13 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
BCSHCI
2007
13 years 9 months ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
JAR
2008
13 years 7 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
SIAMCO
2008
13 years 7 months ago
2008
We introduce a new class of control problems in which the gain depends on the solution of a stochastic differential equation reflected at the boundary of a bounded domain, along d...