Sciweavers

3446 search results - page 10 / 690
» A Reasoning Algorithm for pD*
Sort
View

Source Code
7589views
16 years 7 months ago
MATLAB and Octave Functions for Computer Vision and Image Processing
Great Matlab and Octave function implementation for hot computer vision algorithms such as Feature detection via Phase Congruency, Spatial feature detection, Non-maxima suppression...
P. D. Kovesi
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
15 years 5 months ago
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
TACAS
2007
Springer
104views Algorithms» more  TACAS 2007»
15 years 5 months ago
Optimized L*-Based Assume-Guarantee Reasoning
Sagar Chaki, Ofer Strichman
CIAC
2000
Springer
82views Algorithms» more  CIAC 2000»
15 years 4 months ago
The Online Dial-a-Ride Problem under Reasonable Load
Dietrich Hauptmeier, Sven Oliver Krumke, Jörg...
STOC
1993
ACM
71views Algorithms» more  STOC 1993»
15 years 3 months ago
Parametric real-time reasoning
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi