4902 search results - page 828 / 981 » Structures, Semantics and Statistics |
234
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Managed languages improve programmer productivity with type safety and garbage collection, which eliminate memory errors such as dangling pointers, double frees, and buffer overfl...
155
click to vote
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...
121
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
This article introduces the OrthoZoom Scroller, a novel interaction technique that improves target acquisition in very large one-dimensional spaces. The OrthoZoom Scroller require...
260
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
139
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...