Sciweavers

2042 search results - page 32 / 409
» Automatic Understanding of Signals
Sort
View
IPPS
2002
IEEE
14 years 15 days ago
A SIMD Vectorizing Compiler for Digital Signal Processing Algorithms
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
Franz Franchetti, Markus Püschel
FORMATS
2004
Springer
14 years 29 days ago
Monitoring Temporal Properties of Continuous Signals
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
Oded Maler, Dejan Nickovic
CMSB
2006
Springer
13 years 11 months ago
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane H...
ICANN
2005
Springer
14 years 1 months ago
Balancing Guidance Range and Strength Optimizes Self-organization by Silicon Growth Cones
Abstract. We characterize the first hardware implementation of a selforganizing map algorithm based on axon migration. A population of silicon growth cones automatically wires a t...
Brian Taba, Kwabena Boahen
FLAIRS
2008
13 years 10 months ago
Learning to Assess Low-Level Conceptual Understanding
This paper analyzes the impact of several lexical and grammatical features in automated assessment of students' finegrained understanding of tutored concepts. Truly effective...
Rodney D. Nielsen, Wayne Ward, James H. Martin