Sciweavers

4486 search results - page 129 / 898
» Cross-Evaluation: A new model for information system evaluat...
Sort
View
CSUR
1999
114views more  CSUR 1999»
13 years 8 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Patrick Cousot
AVI
2006
13 years 10 months ago
An integrated task-based framework for the design and evaluation of visualizations to support preferential choice
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
Jeanette Bautista, Giuseppe Carenini
SIGIR
2008
ACM
13 years 8 months ago
A bayesian logistic regression model for active relevance feedback
Relevance feedback, which traditionally uses the terms in the relevant documents to enrich the user's initial query, is an effective method for improving retrieval performanc...
Zuobing Xu, Ram Akella
WETICE
2008
IEEE
14 years 3 months ago
Information and Regulation in Decentralized Marketplaces for P2P-Grids
Large scale systems such as the Grid need scalable and efficient resource allocation mechanisms to fulfil the requirements of its participants and applications while the whole s...
Xavier León, Xavier Vilajosana, René...
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
14 years 2 months ago
Flocking with Obstacle Avoidance: A New Distributed Coordination Algorithm Based on Voronoi Partitions
— A new distributed coordination algorithm for multi-vehicle systems is presented in this paper. The algorithm combines a particular choice of navigation function with Voronoi pa...
Magnus Lindhé, Petter Ögren, Karl Henr...