Sciweavers

3053 search results - page 4 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
TPHOL
1992
IEEE
13 years 10 months ago
Modelling Generic Hardware Structures by Abstract Datatypes
Klaus Schneider, Ramayya Kumar, Thomas Kropf
CSL
2000
Springer
13 years 6 months ago
Structured language modeling
Ciprian Chelba, Frederick Jelinek
EWCBR
1998
Springer
13 years 11 months ago
Similarity Measures for Object-Oriented Case Representations
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
Ralph Bergmann, Armin Stahl
DOCENG
2004
ACM
14 years 4 days ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin
KI
2007
Springer
14 years 25 days ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty