Sciweavers

3645 search results - page 379 / 729
» Implementing mapping composition
Sort
View
PERCOM
2003
ACM
16 years 6 months ago
WLAN Location Determination via Clustering and Probability Distributions
We present a WLAN location determination technique, the Joint Clustering technique, that uses (1) signal strength probability distributions to address the noisy wireless channel, ...
Ashok K. Agrawala, A. Udaya Shankar
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 1 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
PADS
2009
ACM
16 years 1 months ago
GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
Kalyan S. Perumalla, Brandon G. Aaby, Srikanth B. ...
IV
2009
IEEE
139views Visualization» more  IV 2009»
16 years 1 months ago
Service-Oriented Information Visualization for Smart Environments
Smart environments consist of several interconnected devices. The device ensemble can change dynamically as mobile devices enter or leave the environment. To utilize such environm...
Conrad Thiede, Christian Tominski, Heidrun Schuman...
ICLP
2007
Springer
16 years 28 days ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman