5630 search results - page 882 / 1126 » Computability in Specification |
252
click to vote
JODL
2000
15 years 6 months ago
2000
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sy...
189
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Computers and networks are increasingly able to support distributed collaborative multimedia applications. In fact, the growing interest in distance learning reflects the awarenes...
157
click to vote
IPL
2002
15 years 6 months ago
2002
This paper deals with the problem of constructing a Hamiltonian cycle of optimal weight, called TSP. We show that TSP is 2/3-differential approximable and can not be differential a...
199
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...
189
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...