5086 search results - page 20 / 1018 » The Power of Comparative Reasoning |
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...
ICLP
1999
Springer
14 years 29 days ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
ISPASS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...