4451 search results - page 375 / 891 » Continuous model synthesis |
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
170
click to vote
JASIS
2006
15 years 6 months ago
2006
P2P applications are rapidly gaining acceptance among users of Internet-based services, especially because of their capability of exchanging resources while preserving the anonymi...
182
click to vote
IVC
2007
15 years 6 months ago
2007
The problem of clustering is often addressed with techniques based on a Voronoi partition of the data space. Vector quantization is based on a similar principle, but it is a diffe...
184
click to vote
TOG
2008
15 years 6 months ago
2008
Constrained parameterization is an effective way to establish texture coordinates between a 3D surface and an existing image or photograph. A known drawback to constrained paramet...
177
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...