3353 search results - page 62 / 671 » Laver and set theory |
131
click to vote
BSL
2005
15 years 6 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
186
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequen...
154
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
168
click to vote
ACOM
2004
Springer
15 years 11 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
162
click to vote
CIE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...