2940 search results - page 375 / 588 » Relational Parametricity and Control |
134
click to vote
JUCS
2008
15 years 5 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
168
click to vote
FUIN
2007
15 years 5 months ago
2007
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
144
Voted
TMI
2008
15 years 5 months ago
2008
A new technique is presented for interpolating between grey-scale images in a medical data set. Registration between neighboring slices is achieved with a modified control grid int...
127
click to vote
TSP
2008
15 years 5 months ago
2008
The contribution to a stationary complex-valued time series at a single frequency magnitude takes the form of a random ellipse, and its properties such as aspect ratio (which inclu...
135
click to vote
COMPUTING
2004
15 years 5 months ago
2004
Surface flattening is a crucial problem for many applications as indicated by the steady flow of new methods appearing in related publications. Quality control of these methods, b...