16216 search results - page 3028 / 3244 » Effective Modeling with Constraints |
169
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
200
click to vote
NN
2000
Springer
15 years 6 months ago
2000
Springer
ICA (independent component analysis) is a new, simple and powerful idea for analyzing multi-variant data. One of the successful applications is neurobiological data analysis such ...
155
click to vote
EWC
2002
15 years 6 months ago
2002
We present a simple set of data structures, and a collection of methods for constructing and updating the structures, designed to support the use of cohesive elements in simulation...
157
click to vote
CLEIEJ
1998
15 years 6 months ago
1998
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...
156
click to vote
JVCA
2002
15 years 6 months ago
2002
We propose an efficient system for realistic speech animation. The system supports all steps of the animation pipeline, from the capture or design of 3D head models up to the synth...