8094 search results - page 350 / 1619 » Improvements in Formula Generalization |
168
click to vote
COLT
2007
Springer
16 years 13 days ago
2007
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose there ...
149
click to vote
CSL
2007
Springer
16 years 13 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
200
click to vote
IPSN
2007
Springer
16 years 12 days ago
2007
Springer
Target detection and field surveillance are among the most prominent applications of Sensor Networks (SN). The quality of detection achieved by a SN can be quantified by evaluat...
160
click to vote
TABLEAUX
2007
Springer
16 years 11 days ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
138
click to vote
AICT
2006
IEEE
16 years 9 days ago
2006
IEEE
— We give an optimal solution to the Maximum All Request Path Grooming (MARPG) problem motivated by a traffic grooming application. The MARPG problem consists in finding the ma...