2356 search results - page 220 / 472 » Characterizations of postman sets |
160
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Given a subset S of N, filtering a word a0a1 · · · an by S consists in deleting the letters ai such that i is not in S. By a natural generalization, denote by L[S], w...
170
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
193
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
A fundamental question for edge detection is how faint an edge can be and still be detected. In this paper we offer a formalism to study this question and subsequently introduce a...
168
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
175
click to vote
WINE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The goal of a trust-based recommendation system is to generate personalized recommendations from known opinions and trust relationships. Prior work introduced the axiomat...