8828 search results - page 1553 / 1766 » Formal methods in practice |
115
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
170
click to vote
ECR
2002
15 years 4 months ago
2002
In recent years electronic commerce has grown rapidly as Internet and web technologies have progressed. Therefore, a secure and efficient payment system for general-purpose applic...
119
Voted
NPL
2000
15 years 4 months ago
2000
In standard neuro-evolution, a population of networks is evolved in a task, and the network that best solves the task is found. This network is then fixed and used to solve future...
140
Voted
GEOINFORMATICA
2002
15 years 4 months ago
2002
The generation of better label placement configurations in maps is a problem that comes up in automated cartographic production. The objective of a good label placement is to displ...
134
click to vote
CN
1998
15 years 4 months ago
1998
The World Wide Web currently has a huge amount of data, with practically no classification information, and this makes it extremely difficult to handle effectively. It has been re...