Sciweavers

1228 search results - page 126 / 246
» Continuations, proofs and tests
Sort
View
ICTAC
2010
Springer
13 years 6 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
KES
2006
Springer
13 years 8 months ago
Spiking Neural Network Based Classification of Task-Evoked EEG Signals
This paper presents an improved technique to detect evoked potentials in continuous EEG recordings using a spiking neural network. Human EEG signals recorded during spell checking,...
Piyush Goel, Honghai Liu, David J. Brown, Avijit D...
ECCV
2002
Springer
14 years 10 months ago
Real-Time Interactive Path Extraction with on-the-Fly Adaptation of the External Forces
The aim of this work is to propose an adaptation of optimal path based interactive tools for image segmentation (related to Live-Wire [12] and Intelligent Scissors [18] approaches)...
Olivier Gérard, Thomas Deschamps, Myriam Gr...
ICIP
2002
IEEE
14 years 9 months ago
Fitting smooth surfaces to scattered 3D data using piecewise quadratic approximation
The approximation of surfaces to scattered data is an important problem encountered in a variety of scientific applications, such as reverse engineering, computer vision, computer...
Hélio Pedrini, Murilo Vicente Gonçal...
ICIP
1999
IEEE
14 years 9 months ago
Video Sequence Learning and Recognition Via Dynamic Som
Information contained in the video sequences is crucial for an autonomous robot or a computer to learn and respond to its surrounding environment. In the past, robot vision is mai...
Qiong Liu, Yong Rui, Thomas S. Huang, Stephen E. L...