Sciweavers

1583 search results - page 196 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
CHI
2007
ACM
14 years 8 months ago
Toolkit support for developing and deploying sensor-based statistical models of human situations
Sensor-based statistical models promise to support a variety of advances in human-computer interaction, but building applications that use them is currently difficult and potentia...
James Fogarty, Scott E. Hudson
FASE
2009
Springer
14 years 3 days ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
APLAS
2003
ACM
14 years 1 months ago
Scrap Your Boilerplate
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
Simon L. Peyton Jones, Ralf Lämmel
LREC
2010
237views Education» more  LREC 2010»
13 years 9 months ago
Flexible Ontology Population from Text: The OwlExporter
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
René Witte, Ninus Khamis, Juergen Rilling
CSL
2002
Springer
13 years 8 months ago
Recognition confidence scoring and its use in speech understanding systems
In this paper we present an approach to recognition confidence scoring and a set of techniques for integrating confidence scores into the understanding and dialogue components of ...
Timothy J. Hazen, Stephanie Seneff, Joseph Polifro...