Sciweavers

3069 search results - page 310 / 614
» Thinking about Technology
Sort
View
160
Voted
EKAW
1992
Springer
15 years 10 months ago
Knowledge Acquisition for Explainable, Multi-Expert, Knowledge-Based Design Systems
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
Rose Dieng, Alain Giboin, Paul-André Tourti...
SIGIR
1992
ACM
15 years 10 months ago
A Faster Algorithm for Constructing Minimal Perfect Hash Functions
Our previous research on one-probe access to large collections of data indexed by alphanumeric keys has produced the first practical minimal perfect hash functions for this proble...
Edward A. Fox, Qi Fan Chen, Lenwood S. Heath
LILOG
1989
15 years 10 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
AGTIVE
2007
Springer
15 years 10 months ago
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
Gabriele Taentzer, Dirk Müller 0002, Tom Mens
ASPDAC
2007
ACM
87views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Topology exploration for energy efficient intra-tile communication
With technology nodes scaling down, the energy consumed by the on-chip intra-tile interconnects is beginning to have a significant impact on the total chip energy. The Energyoptima...
Jin Guo, Antonis Papanikolaou, Francky Catthoor