1523 search results - page 152 / 305 » Partially ordered secretaries |
159
click to vote
TCAD
1998
15 years 5 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
149
click to vote
PVLDB
2008
15 years 4 months ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
148
click to vote
COR
2010
15 years 3 months ago
2010
We consider the context of decision support for schedule modification after the computation off-line of a predictive optimal (or near optimal) schedule. The purpose of this work i...
172
click to vote
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--We present and analyze the performance of constellation precoded beamforming. This multi-input multi-output transmission technique is based on the singular value decompos...
156
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...