2500 search results - page 345 / 500 » Specifying Behavior in C |
109
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Determining whether a gene is differentially expressed in two different samples remains an important statistical problem. Prior work in this area has featured the use ...
146
Voted
TCS
2008
15 years 3 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
126
Voted
CCR
2004
15 years 3 months ago
2004
Today's networking community is becoming increasingly skeptical of the significance of research results founded wholly upon experimental results conducted in simulation. Now, ...
133
click to vote
ENTCS
2000
15 years 3 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
133
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...