97 search results - page 11 / 20 » Some graphs related to the small Mathieu groups |
RIVF
2003
13 years 9 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...
DAC
1994
ACM
14 years 17 days 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...
HICSS
2003
IEEE
14 years 1 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...
CVPR
1998
IEEE
14 years 10 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
14 years 18 days 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...