9110 search results - page 1399 / 1822 » Formally-Based Design Evaluation |
200
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
184
click to vote
HIPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
192
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
174
click to vote
INFOVIS
1997
IEEE
15 years 11 months ago
1997
IEEE
Metrics for information visualization will help designers create and evaluate 3D information visualizations. Based on experience from 60+ 3D information visualizations, the metric...
185
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
The query execution engine in Microsoft SQL Server employs hash-based algorithms for inner and outer joins, semi-joins, set operations (such as intersection), grouping, and duplic...