1963 search results - page 113 / 393 » Applications of Preferences using Answer Set Programming |
125
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
145
click to vote
WWW
2005
ACM
16 years 3 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 ...
154
click to vote
ICVS
2001
Springer
15 years 7 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
155
click to vote
ORDER
2010
15 years 1 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
135
click to vote
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...