Sciweavers

2226 search results - page 430 / 446
» Pdk: The System and Its Language
Sort
View
CLEF
2010
Springer
15 years 24 days ago
Experiences at ImageCLEF 2010 using CBIR and TBIR Mixing Information Approaches
The main goal of this paper it is to present our experiments in ImageCLEF 2010 Campaign (Wikipedia retrieval task). This edition we present a different way of using textual and vis...
Joan Benavent, Xaro Benavent, Esther de Ves, Ruben...
CGF
2008
151views more  CGF 2008»
14 years 11 months ago
Reconstructing head models from photographs for individualized 3D-audio processing
Visual fidelity and interactivity are the main goals in Computer Graphics research, but recently also audio is assuming an important role. Binaural rendering can provide extremely...
Matteo Dellepiane, Nico Pietroni, Tsingos Tsingos,...
ENTCS
2006
168views more  ENTCS 2006»
14 years 11 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
WWW
2009
ACM
16 years 11 days ago
Triplify: light-weight linked data publication from relational databases
In this paper we present Triplify ? a simplistic but effective approach to publish Linked Data from relational databases. Triplify is based on mapping HTTP-URI requests onto relat...
Sören Auer, Sebastian Dietzold, Jens Lehmann,...
CADE
2001
Springer
16 years 10 hour ago
More On Implicit Syntax
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
Marko Luther