9067 search results - page 1547 / 1814 » Adaptive Model Checking |
206
click to vote
CSCLP
2006
Springer
15 years 11 months ago
2006
Springer
Real-life problems present several kinds of preferences. We focus on problems with both positive and negative preferences, that we call bipolar preference problems. Although seemin...
204
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
188
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Trees provide a suited structural representation to deal with complex tasks such as web information extraction, RNA secondary structure prediction, or conversion of tree structured...
212
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Mix networks are a popular mechanism for anonymous Internet communications. By routing IP traffic through an overlay chain of mixes, they aim to hide the relationship bet...
214
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...