2517 search results - page 83 / 504 » Specifying Weak Sets |
167
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
151
Voted
ICDT
2010
ACM
16 years 2 months ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...
145
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
172
Voted
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
In several image applications, it is necessary to retrieve specific line segments born a potentially very large set. In this paper, we consider the problem of indexing straight li...
141
Voted
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
Direct volume rendering techniques map volumetric attributes (e.g., density, gradient magnitude, etc.) to visual styles. Commonly this mapping is specified by a transfer function. ...