1008 search results - page 31 / 202 » Multiobjective process controllability analysis |
SODA
2010
ACM
14 years 7 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
RTSS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
ICIAP
2001
Springer
14 years 10 months ago
2001
Springer
The research summarised here is working towards automatic control systems for cameras, in support of remote meetings. Progress is reported on several fronts: use of active contour...
CCS
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
BMCBI
2005
13 years 10 months ago
2005
Background: cDNA microarray technology has emerged as a major player in the parallel detection of biomolecules, but still suffers from fundamental technical problems. Identifying ...