Sciweavers

4539 search results - page 287 / 908
» Approaches to Compute Workflow Complexity
Sort
View
FOCS
2005
IEEE
16 years 7 days ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
SIGGRAPH
1994
ACM
15 years 10 months ago
Textures and radiosity: controlling emission and reflection with texture maps
In this paper we discuss the efficient and accurate incorporation of texture maps into a hierarchical Galerkin radiosity algorithm. This extension of the standard algorithm allows...
Reid Gershbein, Peter Schröder, Pat Hanrahan
CVPR
2000
IEEE
16 years 8 months ago
Shape-Based 3D Surface Correspondence Using Geodesics and Local Geometry
This paper describes a new method for determining correspondence between points on pairs of surfaces based on shape using a combination of geodesic distance and surface curvature....
Yongmei Wang, Bradley S. Peterson, Lawrence H. Sta...
DIS
2004
Springer
16 years 11 hour ago
Privacy Problems with Anonymized Transaction Databases
In this paper we consider privacy problems with anonymized transaction databases, i.e., transaction databases where the items are renamed in order to hide sensitive information. In...
Taneli Mielikäinen
202
Voted
BMVC
2001
15 years 9 months ago
Salient Points for Content-Based Retrieval
In image retrieval, global features related to color or texture are commonly used to describe the image content. The use of interest points in contentbased image retrieval allows ...
Nicu Sebe, Michael S. Lew