3865 search results - page 286 / 773 » From Bidirectionality to Alternation |
162
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
189
Voted
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Methods for exact computation of irradiance and form factors associated with polygonal objects have ultimately relied on a formula for a differential area to polygon form...
226
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
Asynchronous Transfer Mode (ATM) network technology is expected to become a central part of the emerging global information infrastructure. ATM networks introduce a number of feat...
157
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
172
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents a novel pixelwise representation for visual tracking that models both the spatial structure and dynamics of a target in a unified fashion. The represe...