1081 search results - page 100 / 217 » Type Inference of SELF |
160
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
120
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
142
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
116
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
158
click to vote
NPC
2005
Springer
15 years 9 months ago
2005
Springer
Efficient loop scheduling on parallel and distributed systems depends mostly on load balancing, especially on heterogeneous PC-based cluster and grid computing environments. In thi...