Sciweavers

1061 search results - page 130 / 213
» Integrity Constraints for Linked Data
Sort
View

Lecture Notes
773views
15 years 8 months ago
Computer Networking and Internet Protocols: A Comprehensive Introduction
The lecture notes cover the following topics, Fundamentals (OSI Reference Model, Coding, Ethernet), Data Link Control (Flow Control, Error Control, HDLC, PPP), Internet Protocol ...
Raj Jain
ECCV
2006
Springer
14 years 12 months ago
Curvature-Preserving Regularization of Multi-valued Images Using PDE's
Abstract. We are interested in diffusion PDE's for smoothing multi-valued images in an anisotropic manner. By pointing out the pros and cons of existing tensor-driven regulari...
David Tschumperlé
DAC
2007
ACM
14 years 11 months ago
Multi-Core Design Automation Challenges
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
John A. Darringer
VTC
2008
IEEE
203views Communications» more  VTC 2008»
14 years 4 months ago
A Dual-Band HF / UHF Antenna for RFID Tags
—Conventional RFID (radio frequency identification) systems operating at one single carrier frequency can hardly handle the great variety of shapes and materials that occur in p...
Lukas W. Mayer, Arpad L. Scholtz
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
14 years 4 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...