5409 search results - page 271 / 1082 » Basic Observables for Processes |
147
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
152
click to vote
GD
2004
Springer
16 years 2 days ago
2004
Springer
The efforts put into XML-related technologies have exciting consequences for XML-based graph data formats such as GraphML. We here give a systematic overview of the possibilities ...
175
click to vote
ISMIR
2004
Springer
16 years 2 days ago
2004
Springer
(150-200 words) The MIDI Toolbox is a compilation of functions for analyzing and visualizing MIDI files in the Matlab computing environment. In this article, the basic issues of th...
193
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
147
click to vote
ISPD
2003
ACM
15 years 12 months ago
2003
ACM
Design rules in advanced IC manufacturing processes are increasingly problematic for modern router architectures and algorithms. This paper first reviews types and causes of “d...