3824 search results - page 473 / 765 » Geometry Constructions Language |
126
click to vote
DNA
2004
Springer
15 years 10 months ago
2004
Springer
We describe a formal language/notation for DNA molecules that may contain nicks and gaps. The elements of the language, DNA expressions, denote formal DNA molecules. Different DNA...
135
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
129
click to vote
IJCNLP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we describe the motivation for and construction of a new Japanese lexical resource: the Hinoki treebank. The treebank is built from dictionary definition sentences, ...
133
click to vote
IJCNLP
2004
Springer
15 years 10 months ago
2004
Springer
We present a nearest-neighbor algorithm for resolving prepositional phrase attachment ambiguities. Its performance is significantly higher than previous corpus-based methods for P...
114
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...