2205 search results - page 247 / 441 » Mutation Operators for Specifications |
143
click to vote
ICIP
2006
IEEE
16 years 5 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...
242
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
233
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
236
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
112
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...