892 search results - page 21 / 179 » An efficient terminal and model order reduction algorithm |
JMLR
2010
13 years 3 months ago
2010
There is a growing interest in building probabilistic models with high order potentials (HOPs), or interactions, among discrete variables. Message passing inference in such models...
DATE
2004
IEEE
14 years 22 days ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...
CAV
2004
Springer
14 years 22 days ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
VLDB
1991
ACM
14 years 15 days ago
1991
ACM
In order to cope efficiently with simple or complex queries as well as different application requirements (e.g., ad-hoc versus repetitive queries), a query optimizer ought to supp...