723 search results - page 46 / 145 » Computer Applications to Structural Analysis of Pavements |
CC
2001
Springer
15 years 4 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
105
click to vote
ICCV
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
122
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
101
Voted
BMCBI
2008
14 years 12 months ago
2008
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...