11066 search results - page 279 / 2214 » Linearity in Process Languages |
131
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
112
Voted
ACL
2000
15 years 6 months ago
2000
This paper describes a language independent method for alignment of parallel texts that makes use of homograph tokens for each pair of languages. In order to filter out tokens tha...
146
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
Iterative shrinkage/thresholding (IST) algorithms have been recently proposed to handle high-dimensional convex optimization problems arising in image inverse problems (namely dec...
144
Voted
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
An iterative solution to the problem of image deconvolution is presented. The previous image estimate is pre-filtered using a stabilizing function that is updated based on current...
132
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
In many Earth observation missions, a large amount of data is collected by the on-board sensors, and must be transmitted to ground through a channel with limited capacity; in this...