Sciweavers

34181 search results - page 6748 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
159
Voted
DAC
2010
ACM
15 years 5 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
130
Voted
EDBT
2009
ACM
207views Database» more  EDBT 2009»
15 years 5 months ago
Evaluating probability threshold k-nearest-neighbor queries over uncertain data
In emerging applications such as location-based services, sensor monitoring and biological management systems, the values of the database items are naturally imprecise. For these ...
Reynold Cheng, Lei Chen 0002, Jinchuan Chen, Xike ...
129
Voted
ICS
2010
Tsinghua U.
15 years 5 months ago
InterferenceRemoval: removing interference of disk access for MPI programs through data replication
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...
Xuechen Zhang, Song Jiang
144
Voted
ADHOCNETS
2009
Springer
15 years 5 months ago
Efficient Distribution of Large Files in UMTS Supported by Network Coded M2M Data Transfer with Multiple Generations
This paper is a sequel of previous work, in which we have studied the traffic management problem in UMTS. The main objective was to improve the spectral efficiency of cellular netw...
Larissa Popova, Wolfgang H. Gerstacker, Wolfgang K...
100
Voted
AIIDE
2007
15 years 4 months ago
Personality-based Adaptation for Teamwork in Game Agents
This paper presents a novel learning framework to provide computer game agents the ability to adapt to the player as well as other game agents. Our technique generally involves a ...
Chek Tien Tan, Ho-Lun Cheng
« Prev « First page 6748 / 6837 Last » Next »