Sciweavers

19174 search results - page 3390 / 3835
» Computer Animation Techniques
Sort
View
MVA
2006
430views Computer Vision» more  MVA 2006»
15 years 7 months ago
Automatic fog detection and estimation of visibility distance through use of an onboard camera
In this paper, we will present a technique for measuring visibility distances under foggy weather conditions using a camera mounted onboard a moving vehicle. Our research has focus...
Nicolas Hautière, Jean-Philippe Tarel, Jean...
AAI
2000
427views more  AAI 2000»
15 years 7 months ago
Applying Artificial Intelligence to Virtual Reality: Intelligent Virtual Environments
Reearch into virtual environments on the one hand and artificial intelligence and artificial life on the other has largely been carried out by two different groups of people with ...
Michael Luck, Ruth Aylett
AI
2000
Springer
15 years 7 months ago
Alternative foundations for Reiter's default logic
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
Thomas Linke, Torsten Schaub
AI
2000
Springer
15 years 7 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe
BIOINFORMATICS
2002
146views more  BIOINFORMATICS 2002»
15 years 7 months ago
A duplication growth model of gene expression networks
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
Ashish Bhan, David J. Galas, T. Gregory Dewey
« Prev « First page 3390 / 3835 Last » Next »