762 search results - page 23 / 153 » Conditionally correct superoptimization |
POPL
2011
ACM
13 years 1 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
IVC
2000
13 years 10 months ago
2000
This paper proposes a gray-scale inverse Hough transform (GIHT) algorithm which is combined with a modified gray-scale Hough transform (GHT). Given only the data of the Hough tran...
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
It is desirable to ensure that the thermal comfort conditions in offices are in line with the preferences of occupants. Controlling their offices correctly therefore requires the c...
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...