1715 search results - page 267 / 343 » How Space Structures Language |
156
Voted
NAACL
2010
15 years 13 days ago
2010
Machine translation benefits from two types of decoding techniques: consensus decoding over multiple hypotheses under a single model and system combination over hypotheses from di...
126
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
144
click to vote
HT
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
132
click to vote
ICWE
2009
Springer
15 years 7 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
120
Voted
CHI
1998
ACM
15 years 6 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...