3864 search results - page 170 / 773 » time 2005 |
162
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
171
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
143
click to vote
RAS
2006
15 years 6 months ago
2006
The Life in the Atacama (LITA) project seeks to develop technologies for robotic life detection and apply them to the investigation of the Atacama Desert. Its field investigation ...
164
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
156
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
We introduce an illumination method for outdoor scenes containing plants and trees. Our method supports multiresolution plant and tree models based on random L-systems. The method...