Sciweavers

2496 search results - page 301 / 500
» On covering by translates of a set
Sort
View
ISSRE
2003
IEEE
15 years 12 months ago
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoni...
CP
2003
Springer
15 years 11 months ago
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
Alessio Guerri, Michela Milano
VR
1999
IEEE
112views Virtual Reality» more  VR 1999»
15 years 11 months ago
Third-Person Navigation of Whole-Planet Terrain in a Head-tracked Stereoscopic Environment
Navigation and interaction in virtual environments that use stereoscopic head-tracked displays and have very large data sets present several challenges beyond those encountered wi...
Zachary Wartell, William Ribarsky, Larry F. Hodges
MICCAI
1999
Springer
15 years 11 months ago
Rendering the Unfolded Cerebral Cortex
Classical volume rendering is computed by casting a bundle of parallel rays from a flat viewing plane onto the volume data set, and produces as such a spatially limited view of the...
Junfeng Guo, Ioan Alexandru Salomie, Rudi Deklerck...
ICCAD
1992
IEEE
148views Hardware» more  ICCAD 1992»
15 years 10 months ago
McPOWER: a Monte Carlo approach to power estimation
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
Richard Burch, Farid N. Najm, Ping Yang, Timothy N...