2308 search results - page 233 / 462 » Categorial Semantics For LFG |
179
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
180
click to vote
ISMAR
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes an augmented reality (AR) multimodal interface that uses speech and paddle gestures for interaction. The application allows users to intuitively arrange virtu...
165
click to vote
DOCENG
2006
ACM
16 years 17 days ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
176
click to vote
GIR
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, we present a novel indexing data structure called RDHT (Range capable Distributed Hash Table) derived from skip lists and specifically designed for storing and retr...
171
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...