Sciweavers

14649 search results - page 2577 / 2930
» Principles of problem solving
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 7 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
ADCM
2005
163views more  ADCM 2005»
15 years 7 months ago
Matrix-valued radial basis functions: stability estimates and applications
Radial basis functions (RBFs) have found important applications in areas such as signal processing, medical imaging, and neural networks since the early 1980's. Several appli...
Svenja Lowitzsch
SPE
2008
108views more  SPE 2008»
15 years 7 months ago
Effective asymmetric XML compression
The innate verbosity of the Extensible Markup Language remains one of its main weaknesses, especially when large XML documents are concerned. This problem can be solved with the a...
Przemyslaw Skibinski, Szymon Grabowski, Jakub Swac...
IJON
2007
117views more  IJON 2007»
15 years 7 months ago
Learning sensory representations with intrinsic plasticity
Intrinsic plasticity (IP) refers to a neuron’s ability to regulate its firing activity by adapting its intrinsic excitability. Previously, we showed that model neurons combinin...
Nicholas Butko, Jochen Triesch
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 7 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
« Prev « First page 2577 / 2930 Last » Next »