4502 search results - page 222 / 901 » Regular Model Checking |
158
click to vote
NAACL
2001
15 years 7 months ago
2001
In this paper we investigate polysemous adjectives whose meaning varies depending on the nouns they modify (e.g., fast). We acquire the meanings of these adjectives from a large c...
164
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
to appear in Proc. IEEE International Conference on Computer Vision (ICCV), 2005 Bayesian methods have been extensively used in various applications. However, there are two intrin...
166
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
192
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Many tracking problems are split into two subproblems, first a smooth reference trajectory is generated that meet the control design objectives, and then a closed loop c...
245
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...