3856 search results - page 475 / 772 » Models for Automated Earthmoving |
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The recent emergence of high-throughput automated image acquisition technologies has forever changed how cell biologists collect and analyze data. Historically, the in...
211
click to vote
JAR
2007
15 years 6 months ago
2007
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
133
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
191
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
To better understand the development and function of the mammalian brain, researchers have begun to systematically collect a large number of gene expression patterns throughout the...
163
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...