21342 search results - page 246 / 4269 » Structured language modeling |
144
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
119
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
122
click to vote
HOPL
1993
15 years 8 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
138
click to vote
CTCS
1987
Springer
15 years 7 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
144
click to vote
EJC
2010
14 years 11 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...