Sciweavers

4163 search results - page 51 / 833
» A comprehensive combination framework
Sort
View
FROCOS
2007
Springer
14 years 2 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
EMNLP
2004
13 years 10 months ago
Comparing and Combining Generative and Posterior Probability Models: Some Advances in Sentence Boundary Detection in Speech
We compare and contrast two different models for detecting sentence-like units in continuous speech. The first approach uses hidden Markov sequence models based on N-grams and max...
Yang Liu, Andreas Stolcke, Elizabeth Shriberg, Mar...
SIGMOD
2009
ACM
141views Database» more  SIGMOD 2009»
14 years 9 months ago
FlexRecs: expressing and combining flexible recommendations
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...
Georgia Koutrika, Benjamin Bercovitz, Hector Garci...
ICMCS
2005
IEEE
165views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Neighbor combination and transformation for hallucinating faces
In this paper, we propose a novel face hallucination framework based on image patches, which exploits local geometry structures of overlapping patches to hallucinate different com...
Wei Liu, Dahua Lin, Xiaoou Tang
ACSAC
2004
IEEE
14 years 13 days ago
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic
Combining an "anomaly" and a "misuse" IDSes offers the advantage of separating the monitored events between normal, intrusive or unqualified classes (ie not kn...
Elvis Tombini, Hervé Debar, Ludovic M&eacut...