Sciweavers

7109 search results - page 190 / 1422
» Process Algebra with Combinators
Sort
View
142
Voted
ICCBR
1997
Springer
15 years 7 months ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
143
Voted
BMCBI
2004
130views more  BMCBI 2004»
15 years 3 months ago
PATTERNFINDER: combined analysis of DNA regulatory sequences and double-helix stability
Background: Regulatory regions that function in DNA replication and gene transcription contain specific sequences that bind proteins as well as less-specific sequences in which th...
Yanlin Huang, David Kowalski
150
Voted
ICIP
2010
IEEE
15 years 1 months ago
Combining free energy score spaces with information theoretic kernels: Application to scene classification
Most approaches to learn classifiers for structured objects (e.g., images) use generative models in a classical Bayesian framework. However, state-of-the-art classifiers for vecto...
Manuele Bicego, Alessandro Perina, Vittorio Murino...
147
Voted
ICDT
2012
ACM
235views Database» more  ICDT 2012»
13 years 6 months ago
Equivalence and minimization of conjunctive queries under combined semantics
The problems of query containment, equivalence, and minimization are recognized as very important in the context of query processing, specifically of query optimization. In their...
Rada Chirkova
122
Voted

Source Code
1729views
16 years 19 days ago
QVision: Qt's Image, Video and Computer Vision Library
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
P. E. López-de-Teruel, A. Rodríguez.