Sciweavers

2612 search results - page 440 / 523
» Mobile Processes and Termination
Sort
View
AISADM
2005
Springer
14 years 3 months ago
An Architecture for Distributed Agent-Based Data Preprocessing
Advances in agent technologies have fueled interest towards combining agent-based techniques with tools from data mining. Furthermore, the advent of the ubiquitous computing paradi...
Petteri Nurmi, Michael Przybilski, Greger Lind&eac...
SIGIR
2004
ACM
14 years 3 months ago
Probabilistic model for contextual retrieval
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...
Ji-Rong Wen, Ni Lao, Wei-Ying Ma
QOFIS
2004
Springer
14 years 3 months ago
Cross-Layer Analytical Modeling of Wireless Channels for Accurate Performance Evaluation
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
Dmitri Moltchanov, Yevgeni Koucheryavy, Jarmo Harj...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 3 months ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
AVSS
2003
IEEE
14 years 3 months ago
A Multi-Camera Conical Imaging System for Robust 3D Motion Estimation, Positioning and Mapping from UAVs
Over the last decade, there has been an increasing interest in developing vision systems and technologies that support the operation of unmanned platforms for positioning, mapping...
Pezhman Firoozfam, Shahriar Negahdaripour