Sciweavers

936 search results - page 97 / 188
» FSM-Hume is finite state
Sort
View
AMC
2006
104views more  AMC 2006»
13 years 9 months ago
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical ta
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
Warren D. Smith
CAV
2006
Springer
120views Hardware» more  CAV 2006»
14 years 21 days ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
EPEW
2006
Springer
13 years 11 months ago
Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering
We consider a finite buffer queue with one deterministic server fed by packets arriving in batches. We assume that we are not able to fully describe the batch distribution: only th...
Ana Busic, Jean-Michel Fourneau, Nihal Pekergin
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
13 years 9 months ago
Computations of probabilistic output admissible set for uncertain constrained systems
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
Takeshi Hatanaka, Kiyotsugu Takaba
CVIU
2004
94views more  CVIU 2004»
13 years 8 months ago
Video-based event recognition: activity representation and probabilistic recognition methods
We present a new representation and recognition method for human activities. An activity is considered to be composed of action threads, each thread being executed by a single act...
Somboon Hongeng, Ramakant Nevatia, François...