Sciweavers

6862 search results - page 1259 / 1373
» Modeling Parallel Applications Performance on Heterogeneous ...
Sort
View
ICIP
2009
IEEE
16 years 4 months ago
Classifying Urban Landscape In Aerial Lidar Using 3d Shape Analysis
The classification of urban landscape in aerial LiDAR point clouds is useful in 3D modeling and object recognition applications in urban environments. In this paper, we introduce ...
IUI
2009
ACM
15 years 12 months ago
Context-based page unit recommendation for web-based sensemaking tasks
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
Wen-Huang Cheng, David Gotz
SIGSOFT
2007
ACM
16 years 3 months ago
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
EUROSYS
2007
ACM
16 years 5 days ago
STMBench7: a benchmark for software transactional memory
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
Rachid Guerraoui, Michal Kapalka, Jan Vitek
WCNC
2008
IEEE
15 years 9 months ago
Using Swarm Intelligence and Bayesian Inference for Aircraft Interrogation
: Sensor management deals with the efficient resource allocation to meet mission objectives of the application, air traffic control. A schedule for the sensors is constructed, whic...
Ganapathi Kamath, Xiang Ye, Lisa Ann Osadciw
« Prev « First page 1259 / 1373 Last » Next »