1350 search results - page 114 / 270 » Reasoning about Staged Computation |
169
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Though it has cost great research efforts for decades, object recognition is still a challenging problem. Traditional methods based on machine learning or computer vision are stil...
147
click to vote
NIPS
2003
15 years 6 months ago
2003
Recent work has examined the estimation of models of stimulus-driven neural activity in which some linear filtering process is followed by a nonlinear, probabilistic spiking stag...
148
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
148
click to vote
JALC
2006
15 years 5 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
145
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...