6431 search results - page 689 / 1287 » Model Building by Resolution |
175
click to vote
JCS
2011
15 years 2 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
174
click to vote
JMLR
2010
15 years 2 months ago
2010
The paper considers an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to her target. P...
193
click to vote
JSCIC
2010
15 years 2 months ago
2010
Variational models for image segmentation have many applications, but can be slow to compute. Recently, globally convex segmentation models have been introduced which are very rel...
238
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The construction of low-dimensional models explaining highdimensional signal observations provides concise and efficient data representations. In this paper, we focus on pattern ...
236
click to vote
DSS
2011
14 years 11 months ago
2011
In the current paper, we outline several approaches to determine the value of information system (IS) flexibility, defined as the extent to which an IS can be modified and upgrade...