Sciweavers

6142 search results - page 801 / 1229
» The Complexity of Partition Functions
Sort
View
ICICS
2004
Springer
16 years 8 days ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
MFCS
2004
Springer
16 years 7 days ago
A Protocol for Serializing Unique Strategies
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
Marcel Crâsmaru, Christian Glaßer, Ken...
MICAI
2004
Springer
16 years 7 days ago
An Optimization Algorithm Based on Active and Instance-Based Learning
We present an optimization algorithm that combines active learning and locally-weighted regression to find extreme points of noisy and complex functions. We apply our algorithm to...
Olac Fuentes, Thamar Solorio
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
16 years 7 days ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
PCM
2004
Springer
135views Multimedia» more  PCM 2004»
16 years 7 days ago
Probabilistic Face Tracking Using Boosted Multi-view Detector
Face tracking in realistic environments is a difficult problem due to pose variations, occlusions of objects, illumination changes and cluttered background, among others. The paper...
Peihua Li, Haijing Wang