4166 search results - page 307 / 834 » Automating the constraining process |
135
click to vote
ISTA
2004
15 years 5 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
133
click to vote
WSC
2001
15 years 5 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
146
click to vote
SERP
2003
15 years 5 months ago
2003
Network infrastructure is composed of various devices located either in the core or at the edges of a wide-area network. These devices are required to deliver high transaction thr...
110
click to vote
COLING
1996
15 years 5 months ago
1996
A desired property of a measure of connective strength in bigrams is that the measure should be insensitive to corpus size. This paper investigates the stability of three differen...
139
click to vote
ACL
1989
15 years 5 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...