3244 search results - page 479 / 649 » On convex complexity measures |
191
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
172
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Corners and curves are important image features in many vision-based applications. Corners are usually more stable and easier to match than curves,while curves contain richer info...
161
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Chief information officers (CIOs) have the difficult job of running a function that uses a lot of resources but offers little measurable evidence of its value. Line managers are i...
187
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, audio and video delivery services are widely spread in the Internet. In order to deliver these data to multiple receivers at the same time, the multicast technologies ar...
170
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...