3931 search results - page 214 / 787 » Separation logic and abstraction |
156
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
198
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
181
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
182
click to vote
UAI
2003
15 years 8 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
149
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...