5578 search results - page 854 / 1116 » Base Class Injection |
142
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Register allocation is NP-complete in general but can be solved in linear time for straight-line programs where each variable has at most one definition point if the bank of regis...
154
click to vote
ISSAC
2007
Springer
16 years 21 days ago
2007
Springer
Shirayanagi and Sweedler proved that a large class of algorithms over the reals can be modified slightly so that they also work correctly on fixed-precision floating-point numb...
156
click to vote
IWCLS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper provides a deep insight into the learning mechanisms of UCS, a learning classifier system (LCS) derived from XCS that works under a supervised learning scheme...
190
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
180
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...