Sciweavers

10615 search results - page 1568 / 2123
» Dynamic topic models
Sort
View
AIIA
2007
Springer
16 years 1 months ago
Robust Color-Based Skin Detection for an Interactive Robot
Detection of human skin in an arbitrary image is generally hard. Most color-based skin detection algorithms are based on a static color model of the skin. However, a static model c...
Alvise Lastra, Alberto Pretto, Stefano Tonello, Em...
CONCUR
2007
Springer
16 years 1 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
16 years 1 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
HYBRID
2007
Springer
16 years 1 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
MIDDLEWARE
2007
Springer
16 years 1 months ago
A Policy Management Framework for Content-Based Publish/Subscribe Middleware
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
Alex Wun, Hans-Arno Jacobsen
« Prev « First page 1568 / 2123 Last » Next »