11949 search results - page 83 / 2390 » Some results on (a:b)-choosability |
96
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Undecidability results in rewriting have usually been proved by reduction from undecidable problems of Turing machines or, more recently, from Post’s Correspondence Problem. Ano...
120
Voted
SODA
1997
ACM
15 years 2 months ago
1997
ACM
We discuss scheduling problems with m identical machines and n jobs where each job has to be assigned to some machine. The goal is to optimize objective functions that solely depe...
106
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
100
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
114
Voted
DATESO
2006
15 years 2 months ago
2006
This paper describes one of the ways how to overcome one of the major limitations of current fulltext search engines. It deals with synonymy of the web search engine results by clu...