Sciweavers

427 search results - page 51 / 86
» Inductive reasoning about effectful data types
Sort
View
JAISE
2010
192views Algorithms» more  JAISE 2010»
13 years 2 months ago
Activity recognition using temporal evidence theory
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...
Susan McKeever, Juan Ye, Lorcan Coyle, Chris Bleak...
DEXAW
2007
IEEE
124views Database» more  DEXAW 2007»
13 years 11 months ago
XML Query Optimisation: Specify your Selectivity
The problem of efficiently evaluating XPath and XQuery queries has become increasingly significant since more and more XML data is stored in its native form. We propose a novel op...
Sven Hartmann, Sebastian Link
BMCBI
2005
161views more  BMCBI 2005»
13 years 7 months ago
Non-linear mapping for exploratory data analysis in functional genomics
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
Francisco Azuaje, Haiying Wang, Alban Chesneau
BMCBI
2008
103views more  BMCBI 2008»
13 years 7 months ago
Discovering multi-level structures in bio-molecular data through the Bernstein inequality
Background: The unsupervised discovery of structures (i.e. clusterings) underlying data is a central issue in several branches of bioinformatics. Methods based on the concept of s...
Alberto Bertoni, Giorgio Valentini
HPCN
1998
Springer
13 years 11 months ago
PARAFLOW: A Dataflow Distributed Data-Computing System
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
Roy Williams, Bruce Sears