6800 search results - page 826 / 1360 » Testing with Functions as Specifications |
209
click to vote
IJMMS
2000
15 years 6 months ago
2000
The challenge for the World Wide Web user is to discover and rediscover useful information from very rich but also very diversified sources in the Web environment. The Web browser...
175
click to vote
RAS
2000
15 years 6 months ago
2000
We address the problem of visual-based navigation of a mobile robot in indoors environments. The robot control system is based on a single camera to provide the required visual fe...
211
click to vote
JBI
2002
15 years 6 months ago
2002
i As the pace of biological research accelerates, biologists are becoming increasingly reliant on computers to manage the information explosion. Biologists communicate their resea...
173
click to vote
JCC
2002
15 years 6 months ago
2002
: Several molecular dynamics simulations were performed on three proteins--bovine apo-calbindin D9K, human interleukin-4 R88Q mutant, and domain IIA of bacillus subtilis glucose pe...
202
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...