8086 search results - page 249 / 1618 » On the Implementation of Dynamic Patterns |
175
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
219
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
178
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
172
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
We introduce a model-based analysis technique for extracting and characterizing rhythmic expression pro les from genome-wide DNA microarray hybridization data. These patterns are ...
262
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...