4940 search results - page 334 / 988 » On the Complexity of Universal Programs |
197
click to vote
HPCA
2006
IEEE
16 years 7 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
180
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if p...
194
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
160
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
171
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...