3352 search results - page 636 / 671 » Hierarchical Problem Solving and the Bayesian Optimization A... |
134
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
128
click to vote
PCM
2007
Springer
15 years 8 months ago
2007
Springer
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
124
click to vote
ICDE
2005
IEEE
15 years 8 months ago
2005
IEEE
Queries on XML documents typically combine selections on element contents, and, via path expressions, the structural relationships between tagged elements. Efficient support for ...
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
The Personal Satellite Assistant (PSA) is a small robot proposed by NASA to assist astronauts who are living and working aboard the space shuttle or space station. To help the ast...
113
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...