Sciweavers

2542 search results - page 314 / 509
» One step ahead
Sort
View
177
Voted
PG
2003
IEEE
16 years 11 days ago
RGVis: Region Growing Based Techniques for Volume Visualization
Interactive data visualization is inherently an iterative trial-and-error process searching for an ideal set of parameters for classifying and rendering features of interest in th...
Runzhen Huang, Kwan-Liu Ma
182
Voted
WCRE
2003
IEEE
16 years 11 days ago
Fuzzy Extensions for Reverse Engineering Repository Models
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
Ulrike Kölsch, René Witte
KCAP
2003
ACM
16 years 11 days ago
Learner: a system for acquiring commonsense knowledge by analogy
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
Timothy Chklovski
ATAL
2003
Springer
16 years 10 days ago
Resource allocation games with changing resource capacities
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
Aram Galstyan, Shashikiran Kolar, Kristina Lerman
CCS
2003
ACM
16 years 10 days ago
Secure protocol composition
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...