112 search results - page 16 / 23 » Test Case Preparation Using a Prototype |
PSB
2004
13 years 8 months ago
2004
Association studies in populations relate genomic variation among individuals with medical condition. Key to these studies is the development of efficient and affordable genotypin...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present here a concept and realization of a dynamic walker that is stabilized by using a fast and heavy rotor, a gyro. The dynamics of a symmetric, fast rotating gyro is dif...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
ICTAI
2007
IEEE
14 years 1 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
CAV
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...