Sciweavers

98 search results - page 15 / 20
» Explicit-State Abstraction: A New Method for Generating Heur...
Sort
View
TSMC
1998
99views more  TSMC 1998»
13 years 8 months ago
Learning visually guided grasping: a test case in sensorimotor learning
Abstract—We present a general scheme for learning sensorimotor tasks which allows rapid on-line learning and generalization of the learned knowledge to unfamiliar objects. The sc...
Ishay Kamon, Tamar Flash, Shimon Edelman
MICCAI
2008
Springer
14 years 9 months ago
A Bayesian Approach for Liver Analysis: Algorithm and Validation Study
Abstract. We present a new method for the simultaneous, nearly automatic segmentation of liver contours, vessels, and metastatic lesions from abdominal CTA scans. The method repeat...
Moti Freiman, Ofer Eliassaf, Yoav Taieb, Leo Jo...
HICSS
2007
IEEE
138views Biometrics» more  HICSS 2007»
14 years 2 months ago
A Probabilistic Graphical Approach to Computing Electricity Price Duration Curves under Price and Quantity Competition
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
Pascal Michaillat, Shmuel S. Oren
TNN
1998
111views more  TNN 1998»
13 years 8 months ago
Modular recurrent neural networks for Mandarin syllable recognition
Abstract—A new modular recurrent neural network (MRNN)based speech-recognition method that can recognize the entire vocabulary of 1280 highly confusable Mandarin syllables is pro...
Sin-Horng Chen, Yuan-Fu Liao
POPL
2009
ACM
14 years 9 months ago
Types and higher-order recursion schemes for verification of higher-order programs
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
Naoki Kobayashi