10715 search results - page 1806 / 2143 » From Tests to Proofs |
180
click to vote
CN
2000
15 years 6 months ago
2000
We introduce SPREAD - a new architecture for distributing and maintaining up-to-date Web content that simultaneously employs three different mechanisms: client validation, server ...
204
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
167
click to vote
COLING
2002
15 years 6 months ago
2002
An unsupervised method for word sense disambiguation using a bilingual comparable corpus was developed. First, it extracts statistically significant pairs of related words from th...
171
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a new approach for drawing diagrams. Our approach is to use a technique we call confluent drawing for visualizing non-planar graphs in a planar way. This approach all...
206
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...