Sciweavers

41938 search results - page 273 / 8388
» Complex Systems Modeling
Sort
View
ICLP
1997
Springer
15 years 11 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
CORR
2010
Springer
42views Education» more  CORR 2010»
15 years 7 months ago
Reduced ML-Decoding Complexity, Full-Rate STBCs for 4 Transmit Antenna Systems
For an nt transmit, nr receive antenna system (nt
K. Pavan Srinath, B. Sundar Rajan
CJ
2010
132views more  CJ 2010»
15 years 4 months ago
Internet Failures: an Emergent Sea of Complex Systems and Critical Design Errors?
Complex systems researchers have looked to the Internet as a possible source of interesting emergent behaviour. Indeed, some high profile failures, and some low level phenomena, m...
Jon Crowcroft
ICC
2007
IEEE
121views Communications» more  ICC 2007»
16 years 1 months ago
On the Expected Complexity Analysis of a Generalized Sphere Decoding Algorithm for Underdetermined Linear Communication Systems
This paper presents an analytical approach to evaluate the expected complexity of a generalized sphere decoding (GSD) algorithm, GSDλ − , for underdetermined integer leastsquare...
Ping Wang, Tho Le-Ngoc
ICCV
2009
IEEE
15 years 4 months ago
Complex volume and pose tracking with probabilistic dynamical models and visual hull constraints
We propose a method for estimating the pose of a human body using its approximate 3D volume (visual hull) obtained in real time from synchronized videos. Our method can cope with ...
Norimichi Ukita, Michiro Hirai, Masatsugu Kidode