Sciweavers

1655 search results - page 75 / 331
» Stemming in the language modeling framework
Sort
View
CADE
2009
Springer
16 years 1 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...
103
Voted
IAT
2007
IEEE
15 years 7 months 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
106
Voted
ICMI
2005
Springer
164views Biometrics» more  ICMI 2005»
15 years 6 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
93
Voted
EACL
2003
ACL Anthology
15 years 2 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
15 years 7 months 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