Sciweavers

21094 search results - page 4104 / 4219
» An experiment using DLV-K
Sort
View
PLILP
1997
Springer
15 years 4 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...
112
Voted
VLDB
1997
ACM
120views Database» more  VLDB 1997»
15 years 4 months ago
A Region Splitting Strategy for Physical Database Design of Multidimensional File Organizations
This paper presents a region splitting strategy for physical database design of multidimensional le organizations. Physical database design is the process of determining the optim...
Jong-Hak Lee, Young-Koo Lee, Kyu-Young Whang, Il-Y...
VLDB
1997
ACM
97views Database» more  VLDB 1997»
15 years 4 months ago
The Complexity of Transformation-Based Join Enumeration
Query optimizers that explore a search space exhaustively using transformation rules usually apply all possible rules on each alternative, and stop when no new information is prod...
Arjan Pellenkoft, César A. Galindo-Legaria,...
120
Voted
DAC
1994
ACM
15 years 4 months ago
Exact Minimum Cycle Times for Finite State Machines
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
William K. C. Lam, Robert K. Brayton, Alberto L. S...
HT
1993
ACM
15 years 4 months ago
Concurrency Control in Collaborative Hypertext Systems
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
Uffe Kock Wiil, John J. Leggett
« Prev « First page 4104 / 4219 Last » Next »