Sciweavers

1805 search results - page 307 / 361
» Functional programming with structured graphs
Sort
View
CORR
2007
Springer
177views Education» more  CORR 2007»
13 years 9 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
IVS
2006
127views more  IVS 2006»
13 years 9 months ago
Feature hiding in 3D human body scans
In this paper, we explore a privacy algorithm that detects human private parts in a 3D scan data set. The analogia graph is introduced to study the proportion of structures. The i...
Joseph Laws, Nathaniel Bauernfeind, Yang Cai 0002
JAR
2000
90views more  JAR 2000»
13 years 9 months ago
Resolution versus Search: Two Strategies for SAT
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
Irina Rish, Rina Dechter
EXACT
2009
13 years 7 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
IEEECGIV
2009
IEEE
13 years 7 months ago
A Zoomable Shopping Browser Using a Graphic-Treemap
Effective and efficient navigation and representation of the entire structure of the product catalogue is one of the important factors for on-line market. This paper proposes an a...
Mao Lin Huang, Quang Vinh Nguyen, Viet Cuong Vo, J...