861 search results - page 65 / 173 » A General Framework for Knowledge Compilation |
143
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
PAC-MDP algorithms approach the exploration-exploitation problem of reinforcement learning agents in an effective way which guarantees that with high probability, the algorithm pe...
145
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Despite its efficiency, the general approach of hardcoding protocol format descriptions in packet processing applications suffers from many limitations. Among the others, the l...
153
Voted
VMV
2003
15 years 5 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
130
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
108
Voted
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...