Sciweavers

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

Lecture Notes
773views
17 years 1 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
127
Voted
ECCV
2006
Springer
16 years 5 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é
115
Voted
DAC
2007
ACM
16 years 4 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
104
Voted
VTC
2008
IEEE
203views Communications» more  VTC 2008»
15 years 10 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
163
Voted
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
15 years 10 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...