1090 search results - page 195 / 218 » Type-Directed Partial Evaluation |
SAT
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the role of cycles structures (i.e., subsets of clauses of the form ¯l1 ∨ l2, ¯l1 ∨ l3, ¯l2 ∨ ¯l3) in the quality of the lower bound (LB) of modern MaxSAT ...
TABLEAUX
2009
Springer
14 years 2 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
INFOSCALE
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. Application layer DDoS attacks, to which network layer solutions is not applicable as attackers are indistinguishable based on packets or protocols, prevent legitimate us...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
Since the visualization real estate puts stringent constraints on how much data can be presented to the users at once, table summarization is an essential tool in helping users qu...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
In an Ultra-wide band (UWB) sensor network signal reflections from objects can be used to accurately determine the location. UWB signals are preferred in these types of sensor ne...