2416 search results - page 267 / 484 » The Language of Cortical Dynamics |
179
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
172
click to vote
REFLECTION
1999
Springer
15 years 10 months ago
1999
Springer
When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remov...
176
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by...
152
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
139
click to vote
UIST
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...