Sciweavers

3229 search results - page 316 / 646
» The Theory of Timed Automata
Sort
View
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 6 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
MP
2006
84views more  MP 2006»
15 years 6 months ago
On the behavior of the homogeneous self-dual model for conic convex optimization
Abstract. There is a natural norm associated with a starting point of the homogeneous selfdual (HSD) embedding model for conic convex optimization. In this norm two measures of the...
Robert M. Freund
173
Voted
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
15 years 6 months ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge
TIT
1998
77views more  TIT 1998»
15 years 6 months ago
Detection of Stochastic Processes
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...
Thomas Kailath, H. Vincent Poor
EMNLP
2010
15 years 4 months ago
Efficient Incremental Decoding for Tree-to-String Translation
Syntax-based translation models should in principle be efficient with polynomially-sized search space, but in practice they are often embarassingly slow, partly due to the cost of...
Liang Huang, Haitao Mi