8874 search results - page 341 / 1775 » A New Implementation of Automath |
187
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
161
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Bulk loading refers to the process of creating an index from scratch for a given data set. This problem is well understood for B-trees, but so far, non-traditional index structure...
183
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
Retransmission based error control for large scale multicast applications is difficult because of implosion and exposure. Existing schemes (SRM, RMTP, TMTP, LBRRM) have good solut...
185
click to vote
CIBCB
2008
IEEE
16 years 1 months ago
2008
IEEE
— Solid tumors must recruit new blood vessels for growth and maintenance. Discovering drugs that block this tumor-induced development of new blood vessels (angiogenesis) is an im...
147
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...