Sciweavers

10210 search results - page 1410 / 2042
» Configuring Database Systems
Sort
View
DBISP2P
2003
Springer
67views Database» more  DBISP2P 2003»
16 years 20 days ago
Searchable Querical Data Networks
Recently, a new family of massive self-organizing networks has emerged that not only serve as a communication infrastructure, but also mainly as a distributed query processing syst...
Farnoush Banaei Kashani, Cyrus Shahabi
IEEEMSP
2002
IEEE
16 years 11 days ago
Musical query-by-description as a multiclass learning problem
Abstract—We present the query-by-description (QBD) component of “Kandem,” a time-aware music retrieval system. The QBD system we describe learns a relation between descriptiv...
Brian Whitman, Ryan M. Rifkin
ASP
2001
Springer
15 years 12 months ago
Useful Transformations in Answer set programming
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
Mauricio Osorio, Juan Carlos Nieves, Chris Giannel...
CCS
2001
ACM
15 years 12 months ago
A new approach to DNS security (DNSSEC)
The Domain Name System (DNS) is a distributed database that allows convenient storing and retrieving of resource records. DNS has been extended to provide security services (DNSSE...
Giuseppe Ateniese, Stefan Mangard
LPAR
2001
Springer
15 years 12 months ago
A Computer Environment for Writing Ordinary Mathematical Proofs
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 ...
David McMath, Marianna Rozenfeld, Richard Sommer
« Prev « First page 1410 / 2042 Last » Next »