15660 search results - page 302 / 3132 » The Unbalance of Set Systems |
152
click to vote
SCM
2003
15 years 8 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
201
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
175
click to vote
ECEASST
2008
15 years 7 months ago
2008
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...
146
click to vote
ALIFE
2005
15 years 6 months ago
2005
New Robotics designates an approach to robotics that, in contrast to traditional robotics, employs ideas and principles from biology. While in the traditional approach there are g...
176
click to vote
IPM
2007
15 years 6 months ago
2007
We show some limitations of the ROUGE evaluation method for automatic summarization. We present a method for automatic summarization based on a Markov model of the source text. By...