2038 search results - page 167 / 408 » Loops under Strategies |
136
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
152
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
This paper offers a novel detection method, which works well even in the case of a complicated image collection – for instance, a frontal face under a large class of linear tran...
139
click to vote
ASPLOS
1989
ACM
15 years 8 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
136
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
We introduce a new feature size for bounded domains in the plane endowed with an intrinsic metric. Given a point x in a domain X, the homotopy feature size of X at x measures half...
188
click to vote
AAAI
2008
15 years 5 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...