Sciweavers

5105 search results - page 750 / 1021
» An algorithm to determine peer-reviewers
Sort
View
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
16 years 23 days ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
ACCV
2006
Springer
16 years 22 days ago
Fisheye Lenses Calibration Using Straight-Line Spherical Perspective Projection Constraint
Fisheye lenses are often used to enlarge the field of view (FOV) of a conventional camera. But the images taken with fisheye lenses have severe distortions. This paper proposes a...
Xianghua Ying, Zhanyi Hu, Hongbin Zha
ACCV
2006
Springer
16 years 22 days ago
Interpreting Sphere Images Using the Double-Contact Theorem
An occluding contour of a sphere is projected to a conic in the perspective image, and such a conic is called a sphere image. Recently, it has been discovered that each sphere imag...
Xianghua Ying, Hongbin Zha
ACRI
2006
Springer
16 years 22 days ago
CA Models of Myxobacteria Swarming
We develop two models for Myxobacteria swarming, a modified Lattice Gas Cellular Automata (LGCA) model and an off-lattice CA model. In the LGCA model each cell is represented by on...
Yilin Wu, Nan Chen, Matthew Rissler, Yi Jiang, Dal...
ACL2
2006
ACM
16 years 22 days ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.