5570 search results - page 943 / 1114 » Applications of Fair Testing |
113
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: The search for patterns or motifs in data represents a problem area of key interest to finance and economic researchers. In this paper we introduce the Motif Tracking Algorithm, ...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
143
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...