Sciweavers

1129 search results - page 26 / 226
» Modular Ranking Abstraction
Sort
View
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
13 years 12 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
ASPDAC
2007
ACM
99views Hardware» more  ASPDAC 2007»
13 years 11 months ago
Shelf Packing to the Design and Optimization of A Power-Aware Multi-Frequency Wrapper Architecture for Modular IP Cores
Abstract-- This paper proposes a novel power-aware multifrequency wrapper architecture design to achieve at-speed testability. The trade-offs between power dissipation, scan time a...
Dan Zhao, Unni Chandran, Hideo Fujiwara
JURIX
2007
13 years 9 months ago
A Modular Framework for Ontology-based Representation of Patent Information
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, ...
COLING
2000
13 years 7 months ago
Integrating Text Planning and Linguistic Choice Without Abandoning Modularity: The IGEN Generator
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
Robert Rubinoff
TIT
2008
109views more  TIT 2008»
13 years 7 months ago
Statistical Analysis of Bayes Optimal Subset Ranking
Abstract--The ranking problem has become increasingly important in modern applications of statistical methods in automated decision making systems. In particular, we consider a for...
David Cossock, Tong Zhang