Sciweavers

11160 search results - page 110 / 2232
» Incompleteness in a General Setting
Sort
View
125
Voted
ISSTA
2012
ACM
13 years 3 months ago
Detecting inconsistencies via universal reachability analysis
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
Aaron Tomb, Cormac Flanagan
112
Voted
ICIP
2002
IEEE
16 years 2 months ago
3D structure from video streams with partially overlapping images
The majority of methods available to recover 3D structure from video assume that a set of feature points are tracked across a large number of frames. This is not always possible i...
Rui F. C. Guerreiro, Pedro M. Q. Aguiar
FASE
2007
Springer
15 years 6 months ago
An Approach to Software Evolution Based on Semantic Change
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
Romain Robbes, Michele Lanza, Mircea Lungu
111
Voted
ICDE
2005
IEEE
126views Database» more  ICDE 2005»
15 years 6 months ago
ProtChew: Automatic Extraction of Protein Names from Biomedical Literature
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical inform...
Amund Tveit, Rune Sætre, Astrid Lægrei...
102
Voted
ECOWS
2006
Springer
15 years 2 months ago
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...