1052 search results - page 177 / 211 » Foundations for Virtual Types |
122
click to vote
FCT
2005
Springer
15 years 8 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...
114
click to vote
NIME
2005
Springer
15 years 8 months ago
2005
Springer
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...
109
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
114
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...