2152 search results - page 358 / 431 » On Automating the Calculus of Relations |
106
click to vote
MIR
2005
ACM
15 years 6 months ago
2005
ACM
The last decade has witnessed great interest in research on content-based image retrieval. This has paved the way for a large number of new techniques and systems, and a growing i...
92
Voted
SIGECOM
2005
ACM
15 years 6 months ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
100
click to vote
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
112
click to vote
CP
2005
Springer
15 years 6 months ago
2005
Springer
Many problems used in AI planning including Blocks, Logistics, Gripper, Satellite, and others lack the interactions that characterize puzzles and can be solved nonoptimally in low...
113
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...