Sciweavers

3244 search results - page 120 / 649
» On convex complexity measures
Sort
View
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
14 years 8 months ago
Probabilistic mutual localization in multi-agent systems from anonymous position measures
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
Antonio Franchi, Giuseppe Oriolo, Paolo Stegagno
TCS
2011
14 years 8 months ago
A semantic measure of the execution time in linear logic
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
TSP
2011
152views more  TSP 2011»
14 years 8 months ago
Road Intensity Based Mapping Using Radar Measurements With a Probability Hypothesis Density Filter
Abstract—Mapping stationary objects is essential for autonomous vehicles and many autonomous functions in vehicles. In this contribution the probability hypothesis density (PHD) ...
Christian Lundquist, Lars Hammarstrand, Fredrik Gu...
CHI
2006
ACM
16 years 2 months ago
The validity of the stimulated retrospective think-aloud method as measured by eye tracking
Retrospective Think aloud (RTA) is a usability method that collects the verbalization of a user's performance after the performance is over. There has been little work done t...
Zhiwei Guan, Shirley Lee, Elisabeth Cuddihy, Judit...
SBACPAD
2008
IEEE
127views Hardware» more  SBACPAD 2008»
15 years 8 months ago
Measuring Operating System Overhead on CMT Processors
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
Petar Radojkovic, Vladimir Cakarevic, Javier Verd&...