1341 search results - page 142 / 269 » Probabilistic Abstraction Hierarchies |
159
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
162
click to vote
ACNS
2006
Springer
16 years 14 days ago
2006
Springer
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...
191
click to vote
DASFAA
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...
177
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
165
click to vote
DCOSS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract: Since nodes in a sensor network have limited energy, prolonging the network lifetime and improving scalability become important. In this paper, we propose a distributed w...