940 search results - page 80 / 188 » Local rely-guarantee reasoning |
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
Visual recognition and detection are computationally intensive tasks and current research efforts primarily focus on solving them without considering the computational capability ...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
Typically, case-based recommender systems recommend single items to the on-line customer. In this paper we introduce the idea of recommending a user-defined collection of items whe...
AIIA
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...