Sciweavers

119 search results - page 23 / 24
» Normal Forms for Knowledge Compilation
Sort
View
SEMCO
2009
IEEE
14 years 15 days ago
LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
Steffen Hedegaard, Søren Houen, Jakob Grue ...
ICIA
2007
13 years 8 months ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk
BMCBI
2008
167views more  BMCBI 2008»
13 years 5 months ago
Expression profiles of switch-like genes accurately classify tissue and infectious disease phenotypes in model-based classificat
Background: Large-scale compilation of gene expression microarray datasets across diverse biological phenotypes provided a means of gathering a priori knowledge in the form of ide...
Michael Gormley, Aydin Tozeren
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
14 years 6 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...
KDD
2004
ACM
139views Data Mining» more  KDD 2004»
14 years 6 months ago
Machine learning for online query relaxation
In this paper we provide a fast, data-driven solution to the failing query problem: given a query that returns an empty answer, how can one relax the query's constraints so t...
Ion Muslea