Sciweavers

330 search results - page 60 / 66
» A Unifying Version-Space Representation
Sort
View
DDEP
2000
Springer
15 years 5 months ago
GODDAG: A Data Structure for Overlapping Hierarchies
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...
C. M. Sperberg-McQueen, Claus Huitfeldt
100
Voted
ACSC
2004
IEEE
15 years 4 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
115
Voted
APIN
2006
136views more  APIN 2006»
15 years 23 days ago
Cell modeling with reusable agent-based formalisms
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
Ken Webb, Tony White
110
Voted
IJSWIS
2007
171views more  IJSWIS 2007»
15 years 18 days ago
Experience in Aligning Anatomical Ontologies
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
Songmao Zhang, Olivier Bodenreider
121
Voted
TROB
2008
151views more  TROB 2008»
15 years 17 days ago
Inverse Depth Parametrization for Monocular SLAM
Recent work has shown that the probabilistic SLAM approach of explicit uncertainty propagation can succeed in permitting repeatable 3D real-time localization and mapping even in th...
Javier Civera, Andrew J. Davison, J. M. M. Montiel