12084 search results - page 2005 / 2417 » Effect Systems with Subtyping |
233
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
240
click to vote
ECOOP
1991
Springer
15 years 10 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
165
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
367
Voted
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...
201
Voted
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...