2715 search results - page 365 / 543 » Database Publication Practices |
174
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
152
Voted
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured “domain objects” in...
136
Voted
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In order to escape from local optima, it is standard practice to periodically restart a genetic algorithm according to some restart criteria/policy. This paper addresses ...
157
click to vote
PDIS
1994
IEEE
15 years 10 months ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
152
click to vote
DAWAK
2007
Springer
15 years 10 months ago
2007
Springer
In association rules mining, current trend is witnessing the emergence of a growing number of works toward bringing negative items to light in the mined knowledge. However, the amo...