Sciweavers

4099 search results - page 621 / 820
» A Framework for Interactive Proof
Sort
View
ICML
2006
IEEE
16 years 5 months ago
Qualitative reinforcement learning
When the transition probabilities and rewards of a Markov Decision Process are specified exactly, the problem can be solved without any interaction with the environment. When no s...
Arkady Epshteyn, Gerald DeJong
ISBI
2006
IEEE
16 years 5 months ago
Cancer disease: integrative modelling approaches
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
Helen M. Byrne, Markus R. Owen, Tomas Alarcó...
ISBI
2006
IEEE
16 years 5 months ago
Efficient 3-D adaptive filtering for medical image enhancement
Tensor based orientation adaptive filtering, an explicit methodology for anisotropic filtering, constitutes a flexible framework for medical image enhancement. The technique featu...
Örjan Smedby, Björn Svensson, Hans Knuts...
WWW
2005
ACM
16 years 5 months ago
Analyzing online discussion for marketing intelligence
We present a system that gathers and analyzes online discussion as it relates to consumer products. Weblogs and online message boards provide forums that record the voice of the p...
Natalie S. Glance, Matthew Hurst, Kamal Nigam, Mat...
WWW
2001
ACM
16 years 5 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...