Sciweavers

2958 search results - page 191 / 592
» Extending and Implementing RASP
Sort
View
HIS
2004
13 years 11 months ago
Zamin, an Agent Based Artificial Life Model
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
Ramin Halavati, Saeed Bagheri Shouraki, Saman Hara...
FORTE
2003
13 years 11 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
STRINGOLOGY
2004
13 years 11 months ago
BDD-Based Analysis of Gapped q-Gram Filters
Recently, there has been a surge of interest in gapped q-gram filters for approximate string matching. Important design parameters for filters are for example the value of q, the f...
Marc Fontaine, Stefan Burkhardt, Juha Kärkk&a...
ISCAPDCS
2003
13 years 11 months ago
Using Kernel Coupling to Improve the Performance of Multithreaded Applications
Kernel coupling refers to the effect that kernel i has on kernel j in relation to running each kernel in isolation. The two kernels can correspond to adjacent kernels or a chain ...
Jonathan Geisler, Valerie E. Taylor, Xingfu Wu, Ri...
MVA
1998
118views Computer Vision» more  MVA 1998»
13 years 11 months ago
Integrated Vision/Control System for Autonomous Planetary Rovers
Current NASA plans call for extended year-long, multikilometer treks for the 2003 and 2005 Mars missions. A much greater amount of rover autonomy is required compared to the recen...
Terry Huntsberger, Toshiro Kubota, John Rose