623 search results - page 19 / 125 » Relational Parametricity for Control Considered as a Computa... |
172
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
136
click to vote
FMLDO
1999
Springer
15 years 10 months ago
1999
Springer
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
139
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: We consider effects of dependence among variables of high-dimensional data in multiple hypothesis testing problems, in particular the False Discovery Rate (FDR) contro...
166
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...
181
click to vote
GRAPHICSINTERFACE
2011
14 years 9 months ago
2011
Steering and driving tasks – where the user controls a vehicle or other object along a path – are common in many simulations and games. Racing video games have provided users ...