2701 search results - page 122 / 541 » On the form of witness terms |
163
click to vote
FCT
2005
Springer
15 years 12 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
150
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Tensegrity structures are stable 3-dimensional mechanical structures which maintain their form due to an intricate balance of forces between disjoint rigid elements and continuous...
156
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
146
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
183
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...