9316 search results - page 111 / 1864 » Analysis of traceback techniques |
161
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 21 days ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
179
click to vote
DIAL
2006
IEEE
16 years 13 days ago
2006
IEEE
The availability of large, heterogeneous repositories of electronic documents is increasing rapidly, and the need for flexible, sophisticated document manipulation tools is growi...
162
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
174
click to vote
SIBGRAPI
2003
IEEE
2003
IEEE
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
15 years 11 months ago
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
166
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
Nowadays, direct volume rendering via 3D textures has positioned itself as an efficient tool for the display and visual analysis of volumetric scalar fields. It is commonly acce...