1463 search results - page 184 / 293 » The State of the Art in Language Modeling |
206
click to vote
ICDE
1998
IEEE
16 years 3 months ago
1998
IEEE
Semistructured data may be irregular and incomplete and does not necessarily conform to a fixed schema. As with structured data, it is often desirable to maintain a history of cha...
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
112
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
110
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...