10457 search results - page 1801 / 2092 » Data Mapping as Search |
184
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
190
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
Since the link structure of the web is an important element in ranking systems on search engines, web spammers widely use the link structure of the web to increase the rank of the...
182
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
The task addressed in this paper, finding experts in an enterprise setting, has gained in importance and interest over the past few years. Commonly, this task is approached as an ...
285
click to vote
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a feature based method for the fast generation of sparse 3D point clouds from multiple images with known pose. We extract sub-pixel edge elements (2D positio...
201
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...