10910 search results - page 298 / 2182 » Input modeling using a computer algebra system |
168
click to vote
ICPR
2010
IEEE
16 years 8 days ago
2010
IEEE
—This paper proposes the sequential context inference (SCI) algorithm for Markov random field (MRF) image analysis. This algorithm is designed primarily for fast inference on an...
174
click to vote
AH
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
168
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
200
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
277
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...