156 search results - page 13 / 32 » Using Alternating Words to Describe Symbolic Pictures |
102
click to vote
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
101
Voted
FTCS
1998
15 years 1 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
AAAI
1990
15 years 1 months ago
1990
The purpose of this paper is to characterize a constituent boundary parsing algorithm, using an information-theoretic measure called generalized mutual information, which serves a...
124
Voted
DICTA
2003
15 years 1 months ago
2003
Abstract. A novel approach for model set based object segmentation is described. The proposed method enables the using of a model set to guide the object segmentation. The object s...
109
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...