1415 search results - page 219 / 283 » Verified systems by composition from verified components |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
AICCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
—Terrain variations can greatly influence autonomous ground vehicle (AGV) performance. However, if the terrain is properly identified, the AGV control systems can be adjusted to ...
MIAR
2008
IEEE
14 years 2 months ago
2008
IEEE
The accurate segmentation of liver vessels is an important prerequisite for creating oncologic surgery planning tools as well as medical visualization applications. In this paper, ...
ICNP
2007
IEEE
14 years 2 months ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...