Sciweavers

1095 search results - page 180 / 219
» Preprocessing of Intractable Problems
Sort
View
ECAL
2003
Springer
14 years 3 months ago
Pattern Recognition in a Bucket
This paper demonstrates that the waves produced on the surface of water can be used as the medium for a “Liquid State Machine” that pre-processes inputs so allowing a simple pe...
Chrisantha Fernando, Sampsa Sojakka
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
MICCAI
2001
Springer
14 years 2 months ago
3D+t Modeling of Coronary Artery Tree from Standard Non Simultaneous Angiograms
Abstract. 3D models of coronary arteries is a valuable help for the planning and simulation of minimally-invasive cardiac surgery, and may be used in per-operative augmented realit...
Fabien Mourgues, Frederic Devernay, Grégoir...
CAPTECH
1998
Springer
14 years 2 months ago
Artificial Neural Networks for Motion Emulation in Virtual Environments
Simulation of natural human movement has proven to be a challenging problem, difficult to be solved by more or less traditional bioinspired strategies. In opposition to several exi...
Y. Bellan, Mario Costa, Giancarlo Ferrigno, Fabriz...
COMPGEOM
1994
ACM
14 years 2 months ago
Query-Sensitive Ray Shooting
Ray (segment) shooting is the problem of determining the first intersection between a ray (directed line segment) and a collection of polygonal or polyhedral obstacles. In order t...
Joseph S. B. Mitchell, David M. Mount, Subhash Sur...