Sciweavers

936 search results - page 97 / 188
» FSM-Hume is finite state
Sort
View
AMC
2006
104views more  AMC 2006»
14 years 12 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»
15 years 3 months 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
15 years 1 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»
14 years 12 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»
14 years 11 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...