285 search results - page 49 / 57 » A Matlab Toolbox Implementing Level Set Methods |
105
Voted
VLSID
2002
IEEE
15 years 12 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Most e-government applications have to find a solution for simple, reliable, secure and authentic signing of official documents. Citizens need a simple way to verify ...
EMMCVPR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We propose a model of the shape, motion and appearance of a sequence of images that captures occlusions, scene deformations, arbitrary viewpoint variations and changes in...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...