Sciweavers

5962 search results - page 709 / 1193
» Working with Patterns and Code
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
AIA
2006
15 years 8 months ago
Tree Model of Symbolic Music for Tonality Guessing
Most of the western tonal music is based on the concept of tonality or key. It is often desirable to know the tonality of a song stored in a symbolic format (digital scores), both...
David Rizo, José Manuel Iñesta Quere...
CSREAESA
2006
15 years 8 months ago
Towards Efficient Development of Embedded Real-Time Systems, the Component Based Approach
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
Jukka Mäki-Turja, Mikael Nolin, Kaj Hänn...
DAGSTUHL
2006
15 years 8 months ago
Structural Descriptors for 3D Shapes
Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...
Michela Spagnuolo, Silvia Biasotti, Bianca Falcidi...
ESANN
2006
15 years 8 months ago
Visual object classification by sparse convolutional neural networks
Abstract. A convolutional network architecture termed sparse convolutional neural network (SCNN) is proposed and tested on a real-world classification task (car classification). In...
Alexander Gepperth