Sciweavers

5215 search results - page 246 / 1043
» A model of normative power
Sort
View
PODC
2010
ACM
15 years 5 months ago
Brief announcement: distributed contention resolution in wireless networks
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
Thomas Kesselheim, Berthold Vöcking
ECCTD
2011
72views more  ECCTD 2011»
14 years 7 months ago
Managing variability for ultimate energy efficiency
⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
Borivoje Nikolic
CONCUR
2009
Springer
16 years 1 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
ICMCS
2005
IEEE
127views Multimedia» more  ICMCS 2005»
16 years 26 days ago
Multimodal Segmental-Based Modeling of Tennis Video Broadcasts
Efficient multimodal fusion is a key feature of future video indexing systems. Hidden Markov Models provide a powerful framework for video structure analysis but they require all...
Manolis Delakis, Guillaume Gravier, Patrick Gros
WSC
2007
15 years 9 months ago
A trace-based visual inspection technique to detect errors in simulation models
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
Peter Kemper