Sciweavers

199 search results - page 31 / 40
» Computational Support for Play Testing Game Sketches
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 7 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
PUC
2006
128views more  PUC 2006»
14 years 11 months ago
A cube to learn: a tangible user interface for the design of a learning appliance
In this paper we introduce the design and development of the Learning Cube as a novel tangible learning appliance. Using the common shape of a cube we implemented a general learnin...
Lucia Terrenghi, Matthias Kranz, Paul Holleis, Alb...
BMCBI
2010
88views more  BMCBI 2010»
14 years 11 months ago
Proteome scanning to predict PDZ domain interactions using support vector machines
Background: PDZ domains mediate protein-protein interactions involved in important biological processes through the recognition of short linear motifs in their target proteins. Tw...
Shirley Hui, Gary D. Bader
IROS
2009
IEEE
150views Robotics» more  IROS 2009»
15 years 6 months ago
AWE: A robotic wall and reconfigurable desk supporting working life in a digital society
—“AWE” is a programmable “Animated Work Environment” supporting everyday human activities, at home, work and school, in an increasingly digital society. AWE features a no...
Keith Evan Green, Ian D. Walker, Leo J. Gugerty, J...
BMCBI
2010
151views more  BMCBI 2010»
14 years 11 months ago
Classification of G-protein coupled receptors based on support vector machine with maximum relevance minimum redundancy and gene
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
Zhanchao Li, Xuan Zhou, Zong Dai, Xiaoyong Zou