14161 search results - page 138 / 2833 » On generalized middle-level problem |
109
Voted
AIPS
2003
15 years 2 months ago
2003
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
114
Voted
IJCAI
1989
15 years 1 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
CORR
2008
Springer
15 years 22 days ago
2008
Springer
It is well-known that modal satisfiability is PSPACE-complete [Lad77]. However, the complexity may decrease if we restrict the set of propositional operators used. Note that there ...
70
Voted
MSS
2008
IEEE
15 years 18 days ago
2008
IEEE
The problem of deriving weights from pairwise comparison matrices has been treated extensively in the literature. Most of the results are devoted to the case when the matrix under...
89
Voted
JSAC
2007
15 years 16 days ago
2007
— We consider the problem of supporting absolute QoS guarantees in terms of the end-to-end burst loss in OBS networks. We present a parameterized model for wavelength sharing whi...