1242 search results - page 165 / 249 » The Theory of Grammar Constraints |
87
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
122
click to vote
SOFSEM
1999
Springer
15 years 5 months ago
1999
Springer
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
The enhanced pay-per-view (EPPV) model for providing continuous-media-on-demand(CMOD) services associates with each continuous media clip a display frequency that dependson the cl...
90
Voted
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
103
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...