6800 search results - page 510 / 1360 » Testing with Functions as Specifications |
171
click to vote
TSP
2008
15 years 7 months ago
2008
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
214
click to vote
CN
2002
15 years 7 months ago
2002
We present an approach to building multicast services at the network layer using unicast forwarding and two additional building blocks: (i) ephemeral state probes, i.e. extremely l...
198
click to vote
ENTCS
2002
15 years 7 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
236
click to vote
MICCAI
2010
Springer
15 years 6 months ago
2010
Springer
Due to the complex noise structure of functional magnetic resonance imaging (fMRI) data, methods that rely on information within a single subject often results in unsatisfactory fu...
247
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...