Sciweavers

25041 search results - page 4578 / 5009
» Algorithms for Clustering Data
Sort
View
FATES
2003
Springer
16 years 23 hour ago
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...
FPGA
2003
ACM
161views FPGA» more  FPGA 2003»
16 years 23 hour ago
Implementation of BEE: a real-time large-scale hardware emulation engine
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
Chen Chang, Kimmo Kuusilinna, Brian C. Richards, R...
GRID
2003
Springer
16 years 19 hour ago
Predicting the Performance of Globus Monitoring and Discovery Service (MDS-2) Queries
Resource discovery and monitoring in a distributed Grid environment gives rise to several issues, one of which is the provision of reliable performance and hence, the quality-ofse...
Helene N. Lim Choi Keung, Justin R. D. Dyson, Step...
ICCBR
2003
Springer
16 years 17 hour ago
Case-Based Ranking for Decision Support Systems
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
Paolo Avesani, Sara Ferrari, Angelo Susi
ICCSA
2003
Springer
16 years 15 hour ago
Progressive Curve Representation Based on Reverse Subdivision
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
Faramarz F. Samavati, Mai Ali Nur, Richard M. Bart...
« Prev « First page 4578 / 5009 Last » Next »