Sciweavers

3758 search results - page 73 / 752
» A Complete Subsumption Algorithm
Sort
View
TCBB
2011
13 years 4 months ago
Graph Comparison by Log-Odds Score Matrices with Application to Protein Topology Analysis
A TOPS diagram is a simplified description of the topology of a protein using a graph where nodes are α-helices and β-strands, and edges correspond to chirality relations and p...
J. Rocha
TKDE
2012
208views Formal Methods» more  TKDE 2012»
12 years 1 days ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
ICDE
2007
IEEE
141views Database» more  ICDE 2007»
14 years 11 months ago
Monitoring Regular Expressions on Out-of-Order Streams
We present an efficient algorithm for regular expression matching on streams with out of order data, while maintaining a small state and without complete stream reconstruction. We...
Theodore Johnson, S. Muthukrishnan, Irina Rozenbau...
JAR
2008
81views more  JAR 2008»
13 years 9 months ago
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...
Mark H. Liffiton, Karem A. Sakallah
ISBI
2002
IEEE
14 years 10 months ago
A new convergent MAP reconstruction algorithm for emission tomography using ordered subsets and separable surrogates
We investigate a new, fast and provably convergentMAP reconstruction algorithm for emission tomography. The new algorithm, termed C-OSEM has its origin in the alternating algorith...
Ing-Tsung Hsiao, Anand Rangarajan, Gene Gindi