31387 search results - page 6043 / 6278 » Abstracting abstract machines |
197
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
The Virtual Black Box (VBB) property for program obfuscators provides a strong guarantee: Anything computable by an efficient adversary given the obfuscated program can also be co...
191
click to vote
DIAGRAMS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
185
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Textual reuse is an integral part of textual case-based reasoning (TCBR) which deals with solving new problems by reusing previous similar problem-solving experiences doc...
183
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...
188
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Multiple-instance learning (MIL) allows for training classifiers from ambiguously labeled data. In computer vision, this learning paradigm has been recently used in many ...