Sciweavers

647 search results - page 59 / 130
» Technical method of Zoetmorerope
Sort
View
CADE
2006
Springer
14 years 10 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Evidence-Based Software Engineering
Objective: Our objective is to describe how software engineering might benefit from an evidence-based approach and to identify the potential difficulties associated with the appro...
Barbara A. Kitchenham, Magne Jørgensen, Tor...

Publication
455views
14 years 6 months ago
General road detection from a single image
Given a single image of an arbitrary road, that may not be well-paved, or have clearly delineated edges, or some a priori known color or texture distribution, is it possible for a ...
Hui Kong, Jean-Yves Audibert, and Jean Ponce
MICCAI
2009
Springer
14 years 5 months ago
Towards Interactive Planning of Coil Embolization in Brain Aneurysms
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
Jérémie Dequidt, Christian Duriez, S...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
14 years 4 months ago
Issues Related to Development of E/E Product Line Architectures in Heavy Vehicles
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
Peter Wallin, Stefan Johnsson, Jakob Axelsson