Sciweavers

2863 search results - page 257 / 573
» Computer modelling and natural phenomena
Sort
View
GIS
2010
ACM
15 years 4 months ago
Probabilistic modeling of traffic lanes from GPS traces
Instead of traditional ways of creating road maps, an attractive alternative is to create a map based on GPS traces of regular drivers. One important aspect of this approach is to...
Yihua Chen, John Krumm
191
Voted
ICCAD
2007
IEEE
137views Hardware» more  ICCAD 2007»
16 years 3 months ago
Analysis of large clock meshes via harmonic-weighted model order reduction and port sliding
— Clock meshes posses inherent low clock skews and excellent immunity to PVT variations, and have increasingly found their way to high-performance IC designs. However, analysis o...
Xiaoji Ye, Peng Li, Min Zhao, Rajendran Panda, Jia...
ICMI
2004
Springer
151views Biometrics» more  ICMI 2004»
16 years 18 hour ago
Multimodal model integration for sentence unit detection
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
Mary P. Harper, Elizabeth Shriberg
DIALM
2008
ACM
168views Algorithms» more  DIALM 2008»
15 years 8 months ago
Local broadcasting in the physical interference model
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...
Olga Goussevskaia, Thomas Moscibroda, Roger Watten...
DIMACS
1996
15 years 8 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson