Sciweavers

1389 search results - page 105 / 278
» Lightweight dependent classes
Sort
View
AUSAI
2009
Springer
15 years 5 months ago
Information-Theoretic Image Reconstruction and Segmentation from Noisy Projections
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....
Gerhard Visser, David L. Dowe, Imants D. Svalbe
SAT
2007
Springer
126views Hardware» more  SAT 2007»
15 years 5 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
15 years 5 months ago
Discontinuity-induced bifurcations in TCP/RED communication algorithms
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...
Mingjian Liu, A. Marciello, Mario di Bernardo, Lji...
CONTEXT
2005
Springer
15 years 4 months ago
Granularity as a Parameter of Context
Abstract. Spatial and temporal granularity can be understood as parameters of context restricting the set of accessible objects in a context. Starting from the idea that this selec...
Hedda Rahel Schmidtke
CRYPTO
2005
Springer
135views Cryptology» more  CRYPTO 2005»
15 years 4 months ago
Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
Ivan Damgård, Yuval Ishai