2909 search results - page 329 / 582 » Consistency of the theory of contexts |
145
click to vote
BSL
2004
15 years 6 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
213
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
220
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Enterprise search is challenging for several reasons, notably the dynamic terminology and jargon that are specific to the enterprise domain. This challenge is partly addressed by...
246
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Much research effort on Automatic Image Annotation
(AIA) has been focused on Generative Model, due to its
well formed theory and competitive performance as compared
with many we...
236
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...