2597 search results - page 80 / 520 » On numbers of Davenport-Schinzel sequences |
113
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a novel scheme for extracting a still background occluded by a number of foreground objects, moving in different directions and velocities in a video sequence,...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
109
click to vote
ROMAN
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
ICICS
2004
Springer
15 years 6 months ago
2004
Springer
A mobile ad hoc network (MANET) is formed by a group of mobile wireless nodes, each of which functions as a router and agrees to forward packets for others. Many routing protocols ...