2183 search results - page 116 / 437 » Multi-pass geometric algorithms |
126
Voted
FCSC
2007
15 years 5 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
144
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Information dissemination in a large network is typically achieved when each user shares its own information or resources with each other user. Consider n users randomly located...
194
click to vote
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
128
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
153
click to vote
IJCV
2007
15 years 5 months ago
2007
Humans have an amazing ability to instantly grasp the overall 3D structure of a scene – ground orientation, relative positions of major landmarks, etc – even from a single ima...