4488 search results - page 260 / 898 » Properties of NP-Complete Sets |
267
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Estimating the illumination and the reflectance properties
of an object surface from a sparse set of images is an
important but inherently ill-posed problem. The problem
becomes...
259
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...
137
Voted
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Recently, a number of watermarking-based intellectual property protection techniques have been proposed. Although they have been applied to different stages in the design process ...
303
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
179
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...