Sciweavers

41938 search results - page 273 / 8388
» Complex Systems Modeling
Sort
View
ICLP
1997
Springer
15 years 10 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 6 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 27 days 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