Sciweavers

11097 search results - page 256 / 2220
» Hera presentation generator
Sort
View
ICML
2005
IEEE
15 years 12 months ago
Coarticulation: an approach for generating concurrent plans in Markov decision processes
We study an approach for performing concurrent activities in Markov decision processes (MDPs) based on the coarticulation framework. We assume that the agent has multiple degrees ...
Khashayar Rohanimanesh, Sridhar Mahadevan
WWW
2008
ACM
15 years 11 months ago
Generating diverse and representative image search results for landmarks
Can we leverage the community-contributed collections of rich media on the web to automatically generate representative and diverse views of the world's landmarks? We use a c...
Lyndon S. Kennedy, Mor Naaman
CADE
2004
Springer
15 years 11 months ago
Automatic Generation of Classification Theorems for Finite Algebras
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
Simon Colton, Andreas Meier, Volker Sorge, Roy L. ...
MICCAI
2009
Springer
15 years 8 months ago
Mesh Generation from 3D Multi-material Images
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...
Dobrina Boltcheva, Mariette Yvinec, Jean-Daniel Bo...
DATE
2009
IEEE
178views Hardware» more  DATE 2009»
15 years 5 months ago
Correct-by-construction generation of device drivers based on RTL testbenches
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...