244 search results - page 3 / 49 » Elsewhere |
IMPERIAL
1994
14 years 2 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
FSTTCS
2000
Springer
14 years 2 months ago
2000
Springer
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
FLAIRS
2008
14 years 1 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
HCI
2007
14 years 9 days ago
2007
This paper echoes and points to work we have presented elsewhere on establishing the links between issues of sustainability and interaction design. The significant contribution of ...
AAAI
2006
14 years 8 days ago
2006
Extracting a map from a stream of experience is a key problem in robotics and artificial intelligence in general. We propose a technique, called subjective mapping, that seeks to ...