Sciweavers

3719 search results - page 410 / 744
» order 2010
Sort
View
BIRTHDAY
2010
Springer
15 years 8 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
ICRA
2010
IEEE
110views Robotics» more  ICRA 2010»
15 years 5 months ago
On-line calibration of multiple LIDARs on a mobile vehicle platform
— In this paper, we examine the problem of extrinsic calibration of multiple LIDARs on a mobile vehicle platform. To achieve fully automated and on-line calibration, the original...
Chao Gao, John R. Spletzer
TCS
2010
15 years 5 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
ECCV
2010
Springer
15 years 10 months ago
Efficient object category recognition using classemes
We introduce a new descriptor for images which allows the construction of efficient and compact classifiers with good accuracy on object category recognition. The descriptor is the...
INFOCOM
2010
IEEE
15 years 5 months ago
Routing Primitives for Wireless Mesh Networks: Design, Analysis and Experiments
—In this paper, we consider routing in multi-hop wireless mesh networks. We analyze three standardized and commonly deployed routing mechanisms that we term “nodepair discovery...
Stanislav Miskovic, Edward W. Knightly