39 search results - page 7 / 8 » Kinematic and dynamic performance analysis of artificial leg... |
ILC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
CEC
2009
IEEE
14 years 6 days ago
2009
IEEE
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
WOB
2004
13 years 6 months ago
2004
Several advanced techniques have been proposed for data clustering and many of them have been applied to gene expression data, with partial success. The high dimensionality and the...
AIED
2005
Springer
13 years 11 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...