1382 search results - page 67 / 277 » Term ordering problem on MDG |
84
Voted
MOBIHOC
2008
ACM
16 years 8 days ago
2008
ACM
As RFID tags are increasingly attached to everyday items, it quickly becomes impractical to collect data from every tag in order to extract useful information. In this paper, we c...
82
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
130
click to vote
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
82
Voted
WSC
2008
15 years 3 months ago
2008
In today's global marketplace, the information associated with a product is fast becoming a critical link in the supply chain. Especially in fast moving consumer goods (FMCGs...