1188 search results - page 193 / 238 » Testing Semantics: Connecting Processes and Process Logics |
122
Voted
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
Automatic adaptation of content for mobile devices is a challenging problem because optimal adaptation often depends on the usage semantics of content, as well as the context of u...
125
Voted
ANLP
1992
15 years 4 months ago
1992
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...
129
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
148
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
In this work, we investigate how to automatically reassign the manually annotated labels at the image-level to those contextually derived semantic regions. First, we propose a bi-...
175
Voted
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
One popular form of semantic search observed in several modern search engines is to recognize query patterns that trigger instant answers or domain-specific search, producing sem...