511 search results - page 24 / 103 » Spelling Correction Using Context |
112
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
104
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
— We present a new behavior selection system for human-robot interaction that maps virtual buttons overlaid on the physical environment to the robot’s behaviors, thereby creati...
119
Voted
ICGI
2010
Springer
14 years 10 months ago
2010
Springer
The Syntactic Concept Lattice is a residuated lattice based on the distributional structure of a language; the natural representation based on this is a context sensitive formalism...
95
Voted
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
120
Voted
ACL
2011
14 years 4 months ago
2011
We use search engine results to address a particularly difficult cross-domain language processing task, the adaptation of named entity recognition (NER) from news text to web que...