Sciweavers

1080 search results - page 131 / 216
» The Complexity of Belief Update
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 18 days ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
VMCAI
2007
Springer
16 years 16 days ago
On Flat Programs with Lists
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
Marius Bozga, Radu Iosif
FGR
2006
IEEE
173views Biometrics» more  FGR 2006»
16 years 15 days ago
Facial Feature Detection and Tracking with Automatic Template Selection
We describe an accurate and robust method of locating facial features. The method utilises a set of feature templates in conjunction with a shape constrained search technique. The...
David Cristinacce, Timothy F. Cootes
GLOBECOM
2006
IEEE
16 years 15 days ago
An Iterative MIMO-HSDPA Receiver Based On a K-Best-MAP Algorithm
— We propose an iterative receiver for horizontally encoded MIMO systems like the PARC proposal for MIMOHSDPA. Our receiver uses a K-best-MAP demodulator to provide the channel d...
Christian Mehlführer, Dominik Seethaler, Gera...
CIBCB
2005
IEEE
16 years 1 days ago
Network Motifs, Feedback Loops and the Dynamics of Genetic Regulatory Networks
We analyse a suite of Boolean networks which have been evolved to exhibit limit cycle-type dynamics in terms of the distribution of small network motifs and feedback loops. We find...
Jennifer Hallinan, Paul T. Jackway