2468 search results - page 332 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
224
click to vote
GIS
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
146
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
164
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
131
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
A novel technique for extracting texture edges is introduced. It is based on the combination of two ideas: the patch-based approach, and non-parametric tests of distributions. Our ...
131
click to vote
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
Marques and Almeida [9] recently proposed a nonlinear data seperation technique based on the maximum entropy principle of Bell and Sejnowsky. The idea behind is a pattern repulsion...