16404 search results - page 2404 / 3281 » A set coverage problem |
208
click to vote
FORMATS
2008
Springer
15 years 9 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
172
click to vote
HIS
2007
15 years 9 months ago
2007
This paper proposes a new approach for multicriteria optimization which aggregates the objective functions and uses a line search method in order to locate an approximate efficien...
224
click to vote
RIVF
2008
15 years 9 months ago
2008
Complex biological data generated from various experiments are stored in diverse data types in multiple datasets. By appropriately representing each biological dataset as a kernel ...
175
click to vote
SDM
2007
SIAM
15 years 9 months ago
2007
SIAM
The widespread use of email has raised serious privacy concerns. A critical issue is how to prevent email information leaks, i.e., when a message is accidentally addressed to non-...
218
click to vote
NIPS
2004
15 years 9 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...