3172 search results - page 56 / 635 » Combining Specification Techniques for Processes, Data and T... |
196
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Typically there is a high coherence in data values between neighboring time steps in an iterative scientific software simulation; this characteristic similarly contributes to a co...
181
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
165
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
161
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
There is often a trade-off between the accuracy and the speed of optical flow techniques. Given similar computational resources, this trade-off results in some techniques making i...
215
click to vote
FOIKS
2008
Springer
16 years 3 months ago
2008
Springer
Supervised learning deals with the inference of a distribution over an output or label space $\CY$ conditioned on points in an observation space $\CX$, given a training dataset $D$...