Sciweavers

1095 search results - page 180 / 219
» Preprocessing of Intractable Problems
Sort
View
ECAL
2003
Springer
15 years 7 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»
15 years 6 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
103
Voted
MICCAI
2001
Springer
15 years 6 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...
142
Voted
CAPTECH
1998
Springer
15 years 6 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...
113
Voted
COMPGEOM
1994
ACM
15 years 6 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...