3778 search results - page 168 / 756 » Erdos-Ko-Rado for three sets |
143
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper presents a framework for automatic video region-of-interest determination based on user attention model. In this work, a set of attempts on using video attention feat...
131
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
135
Voted
TRIDENTCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Wireless and mobile networks represent an enabling technology for ubiquitous access to information systems. However, there are critical issues that still prevent the widespread us...
136
Voted
WMTE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
125
Voted
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...