Sciweavers

96 search results - page 16 / 20
» A meeting browser evaluation test
Sort
View
INLG
2004
Springer
14 years 27 days ago
Reining in CCG Chart Realization
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
Michael White
GECCO
2003
Springer
114views Optimization» more  GECCO 2003»
14 years 23 days ago
Genetic Algorithm for Supply Planning Optimization under Uncertain Demand
Supply planning optimization is one of the most important issues for manufacturers and distributors. Supply is planned to meet the future demand. Under the uncertainty involved in ...
Masaru Tezuka, Masahiro Hiji
TE
2010
110views more  TE 2010»
13 years 2 months ago
A Wireless Communications Systems Laboratory Course
A novel wireless communications systems laboratory course is introduced. The course teaches students how to design, test, and simulate wireless systems using modern instrumentation...
Sabih Güzelgöz, Hüseyin Arslan
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
ICRA
1994
IEEE
236views Robotics» more  ICRA 1994»
13 years 11 months ago
Neptune: Above-Ground Storage Tank Inspection Robot System
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
Hagen Schempf