Result 1 to 20 of 186 total
Query generation for retrieving data from distributed semistructured documents using a metadata interface (English)
Computer Languages, Systems & Structures 35, No. 4, 422-434 (2009).
1
Verifying design with proof scores. (English)
Meyer, Bertrand (ed.) et al., Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10‒13, 2005. Revised selected papers and discussions. Berlin: Springer (ISBN 978-3-540-69147-1/pbk). Lecture Notes in Computer Science 4171, 277-290 (2008).
2
An institutional view on categorical logic. (English)
Int. J. Softw. Inform. 1, No. 1, 129-152 (2007).
3
Design through operation of an image-based velocity estimation system for Mars landing. (English)
Int. J. Comput. Vis. 74, No. 3, 319-341 (2007).
4
Information retrieval from distributed semistructured documents using metadata interface (English)
KDXD, 54-63 (2006).
5
Specifying, programming and verifying with equational logic. (English)
Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. London: College Publications (ISBN 1-904987-12-5/pbk; 1-904987-26-5/hbk). Tributes 2, 1-38 (2005).
6
Data, schema, ontology and logic integration. (English)
Log. J. IGPL 13, No. 6, 685-715 (2005).
7
What is a concept? (English)
Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17‒22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 52-77 (2005).
8
Three perspectives on information integration (English)
Semantic Interoperability and Integration (2005).
9
Field testing of the Mars exploration rovers descent image motion estimation system (English)
ICRA, 4463-4469 (2005).
10
Verifying design with proof scores (English)
VSTTE, 277-290 (2005).
11
Specifying, programming and verifying with equational logic (English)
We Will Show Them! (2), 1-38 (2005).
12
What is a concept? (English)
ICCS, 52-77 (2005).
13
Composing hidden information modules over inclusive institutions. (English)
Owe, Olaf (ed.) et al., From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl. Berlin: Springer (ISBN 3-540-21366-X/pbk). Lecture Notes in Computer Science 2635, 96-123 (2004).
14
The Mars Exploration Rovers Descent Image Motion Estimation System. (English)
IEEE Intelligent Systems 19, No.03, 13-21 (2004).
15
The Mars exploration rovers descent image motion estimation system (English)
IEEE Intelligent Systems 19, No. 3, 13-21 (2004).
16
Critical points for interactive schema matching (English)
APWeb, 654-664 (2004).
17
Composing hidden information modules over inclusive institutions (English)
Essays in Memory of Ole-Johan Dahl, 96-123 (2004).
18
A metadata tool for retrieval from heterogeneous distributed XML documents. (English)
Sloot, Peter M. A. (ed.) et al., Computational science ‒ ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2‒4, 2003. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-40197-0/pbk). Lecture Notes in Computer Science 2660, 1020-1029 (2003).
19
Conditional circular coinductive rewriting with case analysis. (English)
Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24‒27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 216-232 (2003).
20
Result 1 to 20 of 186 total
Start
Contact
Print
General Help
