1631 search results - page 121 / 327 » Observing Functional Logic Computations |
107
click to vote
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
CORR
2008
Springer
15 years 5 min ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
SIGSOFT
2004
ACM
16 years 19 days ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
102
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...