1516 search results - page 116 / 304 » Generalizing Indexical-Functional Reference |
SIGMOD
1989
ACM
15 years 2 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
ACMIDC
2009
15 years 1 months ago
2009
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
110
click to vote
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
101
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
DLOG
2007
15 years 8 days ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...