Sciweavers

5355 search results - page 243 / 1071
» Modules
Sort
View
135
Voted
ICWE
2003
Springer
15 years 7 months ago
An Educational Component Based Framework for Web ITS Development
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
Mónica Trella, Ricardo Conejo, Eduardo Guzm...
ISMIR
2003
Springer
196views Music» more  ISMIR 2003»
15 years 7 months ago
Automatic segmentation, learning and retrieval of melodies using a self-organizing neural network
We introduce a neural network, known as SONNETMAP, capable of automatic segmentation, learning and retrieval of melodies. SONNET-MAP is a synthesis of the SONNET (Self-Organizing ...
S. Harford
108
Voted
FM
2001
Springer
96views Formal Methods» more  FM 2001»
15 years 7 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino
LCPC
2001
Springer
15 years 7 months ago
An Interface Model for Parallel Components
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
Milind A. Bhandarkar, Laxmikant V. Kalé
132
Voted
ASYNC
2000
IEEE
89views Hardware» more  ASYNC 2000»
15 years 7 months ago
Simple Circuits that Work for Complicated Reasons
This paper brings together a selection of creative circuit designs and ideas that Charles Molnar devised while working at Sun Microsystems Laboratories. The circuits offer fast im...
Charles E. Molnar, Ian W. Jones