1743 search results - page 231 / 349 » Generalized Modal Satisfiability |
129
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
107
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
146
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
131
click to vote
ESA
2007
Springer
15 years 10 months ago
2007
Springer
In the single source unsplittable flow problem, commodities must be routed simultaneously from a common source vertex to certain destination vertices in a given digraph. The deman...
135
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper formally presents the resident physician scheduling problem, which is one of the most important scheduling problems in hospital. The resident physician scheduling probl...