1075 search results - page 143 / 215 » On Singular Interval Systems |
122
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Query result caching is an important mechanism for search engine efficiency. In this study, we first review several query features that are used to determine the contents of a sta...
140
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
101
click to vote
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Re-finding previously viewed Web pages in browsing histories is often a difficult task, due to the incomplete and vague knowledge people have about the information they are seek...
134
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
126
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...