6800 search results - page 860 / 1360 » Testing with Functions as Specifications |
184
click to vote
ICTAI
2003
IEEE
16 years 6 days ago
2003
IEEE
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...
140
click to vote
INFOVIS
2003
IEEE
16 years 6 days ago
2003
IEEE
This paper describes Thread Arcs, a novel interactive visualization technique designed to help people use threads found in email. Thread Arcs combine the chronology of messages wi...
157
click to vote
IPPS
2003
IEEE
16 years 6 days ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
168
click to vote
TAPIA
2003
ACM
16 years 5 days ago
2003
ACM
In this paper we present an infeasible path-following interiorpoint algorithm for solving linear programs using a relaxed notion of the central path, called quasicentral path, as ...
206
click to vote
AMKM
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...