1187 search results - page 81 / 238 » Computation in Extended Argumentation Frameworks |
116
click to vote
WS
2005
ACM
15 years 7 months ago
2005
ACM
The pervasiveness of wireless devices and the architectural organization of wireless networks in distributed communities, where no notion of trust can be assumed, are the main rea...
146
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
117
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
We give an outline of the speciļ¬cation and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...
110
click to vote
JCC
2006
15 years 1 months ago
2006
If a macromolecule is described by curvilinear coordinates or rigid constraints are imposed, the equilibrium probability density that must be sampled in Monte Carlo simulations in...