5105 search results - page 750 / 1021 » An algorithm to determine peer-reviewers |
177
click to vote
SYNASC
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
232
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
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...
193
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
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...
181
click to vote
ACRI
2006
Springer
16 years 1 months ago
2006
Springer
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...
246
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
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. ...