10910 search results - page 205 / 2182 » Input modeling using a computer algebra system |
105
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
144
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
144
Voted
IACR
2011
14 years 3 months ago
2011
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...
120
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, an off-line, text independent system for writer identification using Hidden Markov Model (HMM) based recognizers is described. For each writer we build an individua...
125
click to vote
HPCC
2009
Springer
15 years 1 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...