8499 search results - page 39 / 1700 » cans 2009 |
145
click to vote
IWPEC
2009
Springer
16 years 19 days ago
2009
Springer
The bandwidth of a graph G on n vertices is the minimum b such that the vertices of G can be labeled from 1 to n such that the labels of every pair of adjacent vertices differ by ...
136
click to vote
SUM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
188
click to vote
TABLEAUX
2009
Springer
16 years 18 days ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
249
click to vote
SOUPS
2009
ACM
16 years 18 days ago
2009
ACM
User-to-tag authentication can prevent a variety of potential attacks on personal RFID tags. In this poster, a new RFID authentication scheme is presented that allows a user to co...
155
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We give necessary and sufficient conditions, based on the existence of a Lyapunov functional, for the asymptotic stability of a square autonomous 2-D behavior in the sense of ...