Sciweavers

4106 search results - page 751 / 822
» A Computational Model for Metric Spaces
Sort
View
ICML
2002
IEEE
15 years 10 months ago
Hierarchically Optimal Average Reward Reinforcement Learning
Two notions of optimality have been explored in previous work on hierarchical reinforcement learning (HRL): hierarchical optimality, or the optimal policy in the space defined by ...
Mohammad Ghavamzadeh, Sridhar Mahadevan
ISBI
2008
IEEE
15 years 10 months ago
Variational B-spline level-set method for fast image segmentation
In the field of image segmentation, most of level-set-based active contour approaches are based on a discrete representation of the associated implicit function. We present in thi...
Olivier Bernard, Denis Friboulet, Philippe Th&eacu...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
15 years 10 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
EWSN
2004
Springer
15 years 9 months ago
Context-Aware Sensors
Wireless sensor networks typically consist of a large number of sensor nodes embedded in a physical space. Such sensors are low-power devices that are primarily used for monitoring...
Eiman Elnahrawy, Badri Nath
IUI
2009
ACM
15 years 6 months ago
Data-driven exploration of musical chord sequences
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
Eric Nichols, Dan Morris, Sumit Basu