11376 search results - page 93 / 2276 » Willow System Demonstration |
171
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
137
click to vote
DIS
1998
Springer
15 years 10 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...
157
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Soboroff, Nicholas and Cahan recently proposed a method for evaluating the performance of retrieval systems without relevance judgments. They demonstrated that the system evaluat...
276
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
173
click to vote
SIGCSE
2006
ACM
16 years 8 days ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...