411 search results - page 68 / 83 » Algebraic Imperative Specifications |
116
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Graphical models are fundamental tools for modeling images and other applications. In this paper, we propose the Logistic Random Field (LRF) model for representing a discrete-valu...
122
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
218
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
192
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...
199
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...