1221 search results - page 170 / 245 » Two Consistency Results on Set Mappings |
149
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
163
click to vote
IR
2007
15 years 6 months ago
2007
Due to the great variation of biological names in biomedical text, appropriate tokenization is an important preprocessing step for biomedical information retrieval. Despite its im...
151
click to vote
MP
2002
15 years 5 months ago
2002
An iterative framework for solving generalized equations with nonisolated solutions is presented. For generalized equations with the structure 0 F(z) + T (z), where T is a multifu...
175
click to vote
RC
2002
15 years 5 months ago
2002
An exact parameterization for the boundary of the Minkowski product of N circular disks in the complex plane is derived. When N > 2, this boundary curve may be regarded as a gen...
183
click to vote
TCAD
1998
15 years 5 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...