97 search results - page 11 / 20 » Some graphs related to the small Mathieu groups |
136
Voted
RIVF
2003
15 years 3 months ago
2003
—In this paper we consider the Airspace Sectorization Problem (ASP) where airspace has to be partitioned into a number of sectors, each sector being assigned to a team of air tra...
116
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
103
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...
97
Voted
CVPR
1998
IEEE
16 years 3 months ago
1998
IEEE
In extended video sequences, individual frames are grouped into shots which are defined as a sequence taken by a single camera, and related shots are grouped into scenes which are...
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
This paper introduces bifocal sampling, a new technique for estimating the size of an equi-join of two relations. Bifocal sampling classi es tuples in each relation into two group...