Sciweavers

5451 search results - page 970 / 1091
» Typed Operational Semantics
Sort
View
158
Voted
TOSEM
2010
168views more  TOSEM 2010»
14 years 10 months ago
Analysis and applications of timed service protocols
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
Julien Ponge, Boualem Benatallah, Fabio Casati, Fa...
137
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Driver risk evaluation based on acceleration, deceleration, and steering behavior
We propose a driver risk evaluation method based on the analysis of driving data captured with drive recorders. To evaluate the acceleration behavior of each driver we plot the ma...
Chiyomi Miyajima, Hiroki Ukai, Atsumi Naito, Hideo...
152
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
Networking low-power energy harvesting devices: Measurements and algorithms
—Recent advances in energy harvesting materials and ultra-low-power communications will soon enable the realization of networks composed of energy harvesting devices. These devic...
Maria Gorlatova, Aya Wallwater, Gil Zussman
149
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
Clustering in cooperative networks
Abstract—Low power ad hoc wireless networks operate in conditions where channels are subject to fading. Cooperative diversity mitigates fading in these networks by establishing v...
Boulat A. Bash, Dennis Goeckel, Donald F. Towsley
ICCV
2011
IEEE
14 years 3 months ago
Double Window Optimisation for Constant Time Visual SLAM
We present a novel and general optimisation framework for visual SLAM, which scales for both local, highly accurate reconstruction and large-scale motion with long loop closures. ...
Hauke Strasdat, Andrew J. Davison, J. M. M. Montie...