Sciweavers

1712 search results - page 98 / 343
» Abstract Constraint Data Types
Sort
View
124
Voted
FASE
2000
Springer
15 years 6 months ago
Formal System Development with KIV
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...
108
Voted
ALT
2003
Springer
15 years 6 months ago
Efficiently Learning the Metric with Side-Information
Abstract. A crucial problem in machine learning is to choose an appropriate representation of data, in a way that emphasizes the relations we are interested in. In many cases this ...
Tijl De Bie, Michinari Momma, Nello Cristianini
108
Voted
BMCBI
2007
108views more  BMCBI 2007»
15 years 2 months ago
Publishing perishing? Towards tomorrow's information architecture
Scientific articles are tailored to present information in human-readable aliquots. Although the Internet has revolutionized the way our society thinks about information, the trad...
Michael R. Seringhaus, Mark B. Gerstein
127
Voted
ISLPED
1995
ACM
100views Hardware» more  ISLPED 1995»
15 years 6 months ago
Simultaneous scheduling and binding for power minimization during microarchitecture synthesis
ABSTRACT { Sub-micron technologies and the increasing size and complexity of integrated components have aggravated the e ect of long interconnects and buses, compared to that of ga...
Aurobindo Dasgupta, Ramesh Karri
111
Voted
DKE
2006
138views more  DKE 2006»
15 years 2 months ago
Using the uni-level description (ULD) to support data-model interoperability
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...
Shawn Bowers, Lois M. L. Delcambre