3353 search results - page 62 / 671 » Laver and set theory |
BSL
2005
14 years 9 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 ...
ICPR
2002
IEEE
15 years 11 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...
ACMDIS
2004
ACM
15 years 3 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...
ACOM
2004
Springer
15 years 3 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 ...
CIE
2007
Springer
15 years 4 months 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...