3604 search results - page 114 / 721 » All Common Subsequences |
147
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
134
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Network Tomography (or network monitoring) uses end-to-end path-level measurements to characterize the network, such as topology estimation and failure detection. This work prov...
146
click to vote
Book
"The year 2009 marks the bicentennial of the birth of Abraham Lincoln, the nation’s 16th president, and the man often considered its greatest leader. As the United States en...
126
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
This paper is concerned with examining the way in which rooted building blocks grow in GP-like systems. We hypothesize that, in addition to the normal notion of co-operative buildi...
125
click to vote
CARDIS
2000
Springer
15 years 8 months ago
2000
Springer
Manufacturers and producers of smart card systems are all beginning to climb on the certification bandwagon. In this paper, we analyse the current state of smart card certificati...