Sciweavers

2960 search results - page 447 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
FOCM
2010
108views more  FOCM 2010»
15 years 5 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
MFCS
2010
Springer
15 years 4 months ago
Asynchronous Omega-Regular Games with Partial Information
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
Bernd Puchala
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
ICANN
2011
Springer
14 years 10 months ago
Semi-supervised Learning for WLAN Positioning
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
Teemu Pulkkinen, Teemu Roos, Petri Myllymäki
INFOCOM
2011
IEEE
14 years 10 months ago
The digital rights management game in peer-to-peer streaming systems
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
Jin Zhang, Wei Lou