1690 search results - page 111 / 338 » Algorithmic Properties of Millstream Systems |
133
click to vote
DCC
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
183
click to vote
EMMCVPR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. This paper proposes an algorithm for image segmentation using GraphCuts which can be used to efficiently solve labeling problems on high resolution images or resource-lim...
144
click to vote
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
114
click to vote
IEEEMSP
2002
IEEE
15 years 9 months ago
2002
IEEE
— Music identification is an effective tool that enables multimedia players to extract a distinct statistical digest of the played content, look up into a music database using t...
162
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...