Sciweavers

3235 search results - page 497 / 647
» Partial Redundant Modeling
Sort
View
IANDC
2007
151views more  IANDC 2007»
15 years 1 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
SIGECOM
2008
ACM
143views ECommerce» more  SIGECOM 2008»
15 years 1 months ago
Altruism, selfishness, and spite in traffic routing
In this paper, we study the price of anarchy of traffic routing, under the assumption that users are partially altruistic or spiteful. We model such behavior by positing that the ...
Po-An Chen, David Kempe
BMCBI
2005
99views more  BMCBI 2005»
15 years 1 months ago
Effective ambiguity checking in biosequence analysis
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
Janina Reeder, Peter Steffen, Robert Giegerich
AI
2004
Springer
15 years 1 months ago
On the revision of preferences and rational inference processes
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
Michael Freund
BMCBI
2004
81views more  BMCBI 2004»
15 years 1 months ago
Few amino acid positions in rpoB are associated with most of the rifampin resistance in Mycobacterium tuberculosis
Background: Mutations in rpoB, the gene encoding the subunit of DNA-dependent RNA polymerase, are associated with rifampin resistance in Mycobacterium tuberculosis. Several studi...
Michael P. Cummings, Mark R. Segal