1040 search results - page 108 / 208 » Tools for modeling and solving search problems |
138
click to vote
COMPGEOM
2004
ACM
15 years 4 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
147
click to vote
ICRA
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- We propose a new method for automatically accessing an internet database of 3D models that are searchable only by their user-annotated labels, for using them for vision ...
119
click to vote
C3S2E
2010
ACM
15 years 1 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
93
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
120
click to vote
GEOINFO
2003
15 years 2 months ago
2003
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...