3921 search results - page 369 / 785 » Transforming Models with ATL |
161
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
128
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Owing to the lack of resolution of the measurement and the randomness inherent in the signal and the measuring devices, the measurement noise is often signal-dependent. Although t...
190
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...
186
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
179
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...