Sciweavers

1095 search results - page 180 / 219
» Preprocessing of Intractable Problems
Sort
View
92
Voted
ECAL
2003
Springer
15 years 5 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
104
Voted
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 5 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
91
Voted
MICCAI
2001
Springer
15 years 5 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
15 years 4 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...
98
Voted
COMPGEOM
1994
ACM
15 years 4 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...