1750 search results - page 88 / 350 » E-Commerce Development Procedure |
120
Voted
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
122
Voted
IWDW
2005
Springer
15 years 9 months ago
2005
Springer
The development of watermarking schemes in the literature is generally guided by a power constraint on the watermark to be embedded into the host. In a steganographic framework the...
141
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
159
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
104
Voted
IWCIA
2004
Springer
15 years 9 months ago
2004
Springer
Using stereo vision in the field of mapping and localization is an intuitive idea, as demonstrated by the number of animals that have developed the ability. Though it seems logica...