8766 search results - page 275 / 1754 » Functional logic programming |
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
67
Voted
ICIP
2004
IEEE
16 years 20 days ago
2004
IEEE
102
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 5 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
107
click to vote
FOIKS
2008
Springer
15 years 19 days ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
109
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...