1523 search results - page 110 / 305 » Partially ordered secretaries |
90
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
89
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
110
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
99
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We study the capacity regions of broadcast channels with binary inputs and symmetric outputs. We study the partial order induced by the more capable ordering of broadcast channels...
109
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
A genetic map is an ordering of genetic markers constructed from genetic linkage data for use in linkage studies and experimental design. While traditional methods have focused on...