Sciweavers

1664 search results - page 247 / 333
» Making a Case for Multi-Agent Systems
Sort
View
DELTA
2004
IEEE
15 years 4 months ago
A Novel Approach to Real-time Bilinear Interpolation
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
K. T. Gribbon, Donald G. Bailey
97
Voted
CTRSA
2006
Springer
160views Cryptology» more  CTRSA 2006»
15 years 4 months ago
RFID-Tags for Anti-counterfeiting
RFID-tags are becoming very popular tools for identification of products. As they have a small microchip on board, they offer functionality that can be used for security purposes. ...
Pim Tuyls, Lejla Batina
ECAI
2006
Springer
15 years 4 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
CSFW
2010
IEEE
15 years 4 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
SMILE
2000
Springer
15 years 4 months ago
Augmented Reality Using Uncalibrated Video Sequences
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, ...