Search Sciweavers | Sciweavers

3446 search results - page 10 / 690

» A Reasoning Algorithm for pD*

172

click to vote

Source Code

7589views

MATLAB and Octave Functions for Computer Vision and Image Processing

16 years 11 months ago

Download www.csse.uwa.edu.au

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

posted by scimaster

Read More »

click to vote

TACAS
2007
Springer

67views Algorithms» more TACAS 2007»

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

15 years 9 months ago

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

claim paper

Read More »

click to vote

TACAS
2007
Springer

104views Algorithms» more TACAS 2007»

Optimized L*-Based Assume-Guarantee Reasoning

15 years 9 months ago

Download www.sei.cmu.edu

Sagar Chaki, Ofer Strichman

claim paper

Read More »

109

click to vote

CIAC
2000
Springer

82views Algorithms» more CIAC 2000»

The Online Dial-a-Ride Problem under Reasonable Load

15 years 7 months ago

Download www.zib.de

Dietrich Hauptmeier, Sven Oliver Krumke, Jörg...

claim paper

Read More »

click to vote

STOC
1993
ACM

71views Algorithms» more STOC 1993»

Parametric real-time reasoning

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers