Sciweavers

3228 search results - page 414 / 646
» Basics of Compiler Design
Sort
View
ICIDS
2010
Springer
15 years 3 months ago
Emohawk: Learning Virtual Characters by Doing
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
Michal Bída, Cyril Brom
IJRR
2010
132views more  IJRR 2010»
15 years 3 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...
AQUILEIA
2011
261views more  AQUILEIA 2011»
14 years 6 months ago
Sharing Data on the Aquileia Heritage: Proposals for a Research Project
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
Vito Roberto, Paolo Omero
POST
2012
181views more  POST 2012»
14 years 2 months ago
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...
David A. Basin, Cas J. F. Cremers, Simon Meier
ICSM
2007
IEEE
16 years 25 days ago
A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
Jeremy S. Archuleta, Eli Tilevich, Wu-chun Feng