308 search results - page 27 / 62 » Making Abstract Domains Condensing |
142
click to vote
ISW
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Watermarking stays the main technical safeguard of electronic copyright. This paper presents the first public-domain oblivious watermarking scheme for images which survi...
149
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
149
click to vote
PRICAI
1998
Springer
15 years 10 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
179
click to vote
AAAI
2008
15 years 8 months ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
144
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...