799 search results - page 31 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ATAL
2008
Springer
14 years 29 days ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
BIBM
2009
IEEE
14 years 5 months ago
2009
IEEE
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
— Yoyo playing may seem easy for a human, but it is a challenging problem for a humanoid robot. This paper presents an approach to generate yoyo motions for the humanoid robot, H...
LAWEB
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
GLOBECOM
2008
IEEE
14 years 5 months ago
2008
IEEE
—It has been shown that the radio channel impulse response for a pair of legitimate Ultra-wide band (UWB) transceivers can be used to generate secret keys for secure communicatio...