Sciweavers

6104 search results - page 369 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
ISCIS
2005
Springer
15 years 11 months ago
Recovering the Lattice of Repetitive Sub-functions
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
DATE
1998
IEEE
89views Hardware» more  DATE 1998»
15 years 10 months ago
Characterization-Free Behavioral Power Modeling
We propose a new approach to RT-level power modeling for combinationalmacros, that does not require simulationbased characterization. A pattern-dependent power model for a macro i...
Alessandro Bogliolo, Luca Benini, Giovanni De Mich...
BMCBI
2004
98views more  BMCBI 2004»
15 years 6 months ago
STING Millennium Suite: integrated software for extensive analyses of 3d structures of proteins and their complexes
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...
Roberto H. Higa, Roberto C. Togawa, Arnaldo J. Mon...
WADT
1998
Springer
15 years 9 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
FSKD
2005
Springer
128views Fuzzy Logic» more  FSKD 2005»
15 years 11 months ago
Automatic Creation of Links: An Approach Based on Decision Tree
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
Peng Li, Seiji Yamada