Sciweavers

1583 search results - page 196 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
CHI
2007
ACM
16 years 6 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
15 years 10 months 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
15 years 11 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»
15 years 7 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
15 years 6 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...