Sciweavers

1785 search results - page 168 / 357
» Framework of Agile Patterns
Sort
View
PROCEDIA
2011
14 years 7 months ago
Exact Closest String as a Constraint Satisfaction Problem
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
Tom Kelsey, Lars Kotthoff
SIGSOFT
2008
ACM
16 years 5 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
BIBM
2007
IEEE
133views Bioinformatics» more  BIBM 2007»
15 years 4 months ago
Mining Clinical Data with a Temporal Dimension: A Case Study
Clinical databases store large amounts of information about patients and their medical conditions. Data mining techniques can extract relationships and patterns holding in this we...
Michele Berlingerio, Francesco Bonchi, Fosca Giann...
SP
2008
IEEE
159views Security Privacy» more  SP 2008»
15 years 4 months ago
Inferring neuronal network connectivity from spike data: A temporal data mining approach
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
Debprakash Patnaik, P. S. Sastry, K. P. Unnikrishn...
CVPR
2003
IEEE
16 years 6 months ago
Polydioptric Camera Design and 3D Motion Estimation
Most cameras used in computer vision applications are still based on the pinhole principle inspired by our own eyes. It has been found though that this is not necessarily the opti...
Cornelia Fermüller, Jan Neumann, Yiannis Aloi...