424 search results - page 49 / 85 » types 1999 |
117
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
132
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the abili...
138
click to vote
KI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
168
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
137
click to vote
PKDD
1999
Springer
15 years 8 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...