Sciweavers

1655 search results - page 75 / 331
» Stemming in the language modeling framework
Sort
View
CADE
2009
Springer
16 years 6 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
IAT
2007
IEEE
16 years 14 days ago
A Flexible Policy-Driven Trust Negotiation Model
Policy-driven negotiations are gaining interest among the research community. A large number of policy languages with different expressiveness have been developed in order to suit...
Juri Luca De Coi, Daniel Olmedilla
ICMI
2005
Springer
164views Biometrics» more  ICMI 2005»
15 years 11 months ago
A user interface framework for multimodal VR interactions
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
Marc Erich Latoschik
EACL
2003
ACL Anthology
15 years 7 months ago
Well-Nested Parallelism Constraints for Ellipsis Resolution
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
Katrin Erk, Joachim Niehren
CSE
2009
IEEE
16 years 27 days ago
A Language of Life: Characterizing People Using Cell Phone Tracks
—Mobile devices can produce continuous streams of data which are often specific to the person carrying them. We show that cell phone tracks from the MIT Reality dataset can be u...
Alexy Khrabrov, George Cybenko