671 search results - page 103 / 135 » Describing and Manipulating XML Data |
ISMVL
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper the emotional model of the humanoid Cynthea (Cybernetic Networked Humanoid Emotional Agent) robot is presented. The robot is explained at two levels: the cognitive l...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
DEXA
2000
Springer
13 years 11 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
PVLDB
2008
13 years 7 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
DLOG
2011
12 years 11 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...