Sciweavers

2703 search results - page 341 / 541
» Working Class Hero
Sort
View
ICADL
2007
Springer
129views Education» more  ICADL 2007»
16 years 22 days ago
Using Automatic Metadata Extraction to Build a Structured Syllabus Repository
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...
Xiaoyan Yu, Manas Tungare, Weiguo Fan, Manuel A. P...
ICALP
2007
Springer
16 years 22 days ago
Aliased Register Allocation for Straight-Line Programs Is NP-Complete
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...
Jonathan K. Lee, Jens Palsberg, Fernando Magno Qui...
ILC
2007
Springer
16 years 22 days ago
Towards Model-Checking Programs with Lists
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
Alain Finkel, Étienne Lozes, Arnaud Sangnie...
ISSAC
2007
Springer
108views Mathematics» more  ISSAC 2007»
16 years 22 days ago
Minimum converging precision of the QR-factorization algorithm for real polynomial GCD
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...
Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shiray...
IWCLS
2007
Springer
16 years 22 days ago
Revisiting UCS: Description, Fitness Sharing, and Comparison with XCS
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...
Albert Orriols-Puig, Ester Bernadó-Mansilla