5810 search results - page 46 / 1162 » An Approach to Programming Based on Concepts |
ICIP
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper discusses an advanced approach for 3DTV services that is based on the concept of an N x video-plusdepth data representation. It particularly considers aspects of interop...
108
click to vote
WWW
2005
ACM
15 years 11 months ago
2005
ACM
In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contents by semantic Reasoning) is presented. This tool uses the experience gained in ...
ICSM
2007
IEEE
15 years 5 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
130
click to vote
NMR
2004
Springer
15 years 4 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...