Sciweavers

1279 search results - page 112 / 256
» Fast Implementations of Automata Computations
Sort
View
FOSSACS
2005
Springer
14 years 3 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
IBPRIA
2005
Springer
14 years 3 months ago
A Real-Time Gabor Primal Sketch for Visual Attention
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...
Alexandre Bernardino, José Santos-Victor
IPPS
1999
IEEE
14 years 2 months ago
Application Performance of a Linux Cluster Using Converse
Abstract. Clusters of PCs are an attractive platform for parallel applications because of their cost effectiveness. We have implemented an interoperable runtime system called Conve...
Laxmikant V. Kalé, Robert Brunner, James C....

Source Code
445views
14 years 10 months ago
Blocks
Blocks is an open source modular MATLAB framework which allows the user to avoid needlessly repeating computation. Blocks may be easily used for your own experiments, and comes ...
Brian Fulkerson, Andrea Vedaldi
CEC
2008
IEEE
14 years 4 months ago
Generating massive high-quality random numbers using GPU
— Pseudo-random number generators (PRNG) have been intensively used in many stochastic algorithms in artificial intelligence, computer graphics and other scientific computing. ...
Wai-Man Pang, Tien-Tsin Wong, Pheng-Ann Heng