3025 search results - page 582 / 605 » Automatic Programming of Robots Using Genetic Programming |
107
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we present a Deformable Action Template
(DAT) model that is learnable from cluttered real-world
videos with weak supervisions. In our generative model,
an action ...
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
119
click to vote
ICAIL
2005
ACM
15 years 5 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
100
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Managing energy consumption has become vitally important to battery operated portable and embedded systems. A dynamic voltage scaling (DVS) technique reduces the processor’s dyn...