11949 search results - page 259 / 2390 » Some results on (a:b)-choosability |
178
click to vote
CSL
2007
Springer
16 years 26 days 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...
183
click to vote
IWINAC
2007
Springer
16 years 25 days 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...
195
click to vote
VLDB
2007
ACM
16 years 24 days 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...
153
click to vote
DATE
2006
IEEE
16 years 23 days 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...
185
click to vote
GLOBECOM
2006
IEEE
16 years 23 days 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...