Sciweavers

6355 search results - page 931 / 1271
» From Logic to Games
Sort
View
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 10 months ago
Timing optimization by bit-level arithmetic transformations
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
Luc Rijnders, Zohair Sahraoui, Paul Six, Hugo De M...
VL
1995
IEEE
110views Visual Languages» more  VL 1995»
15 years 10 months ago
Heterogeneous Visual Languages-Integrating Visual and Textual Programming
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
Martin Erwig, Bernd Meyer
WETICE
1995
IEEE
15 years 10 months ago
An Ontology of Quality for Enterprise Modelling
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
Henry M. Kim, Mark S. Fox, Michael Grüninger
AIIA
1991
Springer
15 years 10 months ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf
VLDB
1991
ACM
135views Database» more  VLDB 1991»
15 years 10 months ago
A Framework for Automating Physical Database Design
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
Steve Rozen, Dennis Shasha