7890 search results - page 1285 / 1578 » The MathSAT 3 System |
161
click to vote
SMA
2005
ACM
16 years 7 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
171
click to vote
VEE
2005
ACM
16 years 7 days ago
2005
ACM
Desktop distributed computing allows companies to exploit the idle cycles on pervasive desktop PC systems to increase the available computing power by orders of magnitude (10x - 1...
167
click to vote
WS
2005
ACM
16 years 7 days ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...
153
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
192
click to vote
AVBPA
2005
Springer
16 years 7 days ago
2005
Springer
The performance of an automatic fingerprint authentication system relies heavily on the quality of the captured fingerprint images. In this paper, two new quality indices for fi...