Sciweavers

7121 search results - page 288 / 1425
» Functions as Session-Typed Processes
Sort
View
AUTOMATICA
2005
92views more  AUTOMATICA 2005»
15 years 6 months ago
Control of manufacturing systems with a two-value, production-dependent failure rate
In this paper we consider a failure prone, single machine, single part-type, limited inventory, manufacturing system subject to a non-homogeneous Markov failure/repair process wit...
Francesco Martinelli
ICA
2010
Springer
15 years 4 months ago
Strong Sub- and Super-Gaussianity
We introduce the terms strong sub- and super-Gaussianity to refer to the previously introduced class of densities log-concave is x2 and log-convex in x2 respectively. We derive rel...
Jason A. Palmer, Kenneth Kreutz-Delgado, Scott Mak...
EMNLP
2009
15 years 4 months ago
Efficient kernels for sentence pair classification
In this paper, we propose a novel class of graphs, the tripartite directed acyclic graphs (tDAGs), to model first-order rule feature spaces for sentence pair classification. We in...
Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete
BIRTHDAY
2012
Springer
14 years 2 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
ICIP
2002
IEEE
16 years 8 months ago
Motion trajectory based video indexing and retrieval
This paper presents a technique to efficiently index and retrieve video clips in terms of motion-trajectory-based similarity. We describe the motion trajectory in three representa...
Chiou-Ting Hsu, Shang-Ju Teng