4255 search results - page 325 / 851 » Cover |
190
click to vote
PADL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
169
click to vote
PATMOS
2004
Springer
16 years 2 days ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
142
Voted
PATMOS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...
193
click to vote
ROCAI
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents two new ways of example weighting for subgroup discovery. The proposed example weighting schemes are applicable to any subgroup discovery algorithm that uses th...
157
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...