11949 search results - page 259 / 2390 » Some results on (a:b)-choosability |
112
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
109
click to vote
IWINAC
2007
Springer
15 years 7 months ago
2007
Springer
One of the main characteristics of a video surveillance system is its reliability. To this end, it is needed that the images captured by the videocameras are an accurate representa...
115
Voted
VLDB
2007
ACM
15 years 7 months ago
2007
ACM
Uncertain data are inherent in some important applications. Although a considerable amount of research has been dedicated to modeling uncertain data and answering some types of qu...
86
Voted
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
116
click to vote
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Sensing coverage is an important issue for sensor networks, since it is viewed as one of the critical measures of performance offered by a sensor network. The design of a routi...