2673 search results - page 67 / 535 » Guided Static Analysis |
115
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...
103
Voted
AIPS
2008
15 years 3 months ago
2008
The current evaluation functions for heuristic planning are expensive to compute. In numerous domains these functions give good guidance on the solution, so it worths the computat...
117
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
116
Voted
WICSA
2007
15 years 1 months ago
2007
Architectural knowledge is reflected in various artifacts of a software product. In the case of a software product audit this architectural knowledge needs to be uncovered and it...
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Image segmentation of natural scenes constitutes a major problem in Machine Vision. This paper presents a new proposal for the image segmentation problem which has been based on t...