Sciweavers

7103 search results - page 1168 / 1421
» Program Generation and Components
Sort
View
143
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
Compiling object-oriented data intensive applications
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
Renato Ferreira, Gagan Agrawal, Joel H. Saltz
132
Voted
IJCAI
2007
15 years 5 months ago
Learning to Walk through Imitation
Programming a humanoid robot to walk is a challenging problem in robotics. Traditional approaches rely heavily on prior knowledge of the robot's physical parameters to devise...
Rawichote Chalodhorn, David B. Grimes, Keith Groch...
150
Voted
AAAI
2006
15 years 5 months ago
ScriptEase - Motivational Behaviors for Interactive Characters in Computer Role-Playing Games
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer,...
154
Voted
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 3 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
111
Voted
BMCBI
2006
96views more  BMCBI 2006»
15 years 3 months ago
Structure alignment based on coding of local geometric measures
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...
Peter L. Chang, Andrew W. Rinne, T. Gregory Dewey
« Prev « First page 1168 / 1421 Last » Next »