2935 search results - page 302 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
click to vote
TSE
2002
15 years 6 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
170
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management appro...
198
click to vote
ESCIENCE
2006
IEEE
16 years 19 days ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
139
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we describe a novel methodology for retrieving and combining information from multiple ontologies for the medical domain. In the last decades the number and diversity...
206
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A non linear minimization approach is used to register 2D and 3D cues for monocular 3D...