3379 search results - page 435 / 676 » Combinators for Interaction Nets |
217
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
203
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A critical function in both machine vision and biological vision systems is attentional selection of scene regions worthy of further analysis by higher-level processes such as obj...
171
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
One approach to tractably finding a solution to an NP-complete optimisation problem is heuristic, where the solution is inexact but quickly found; another approach is to reduce t...
203
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Many vital biological processes, including transcription and splicing, require a combination of short, degenerate sequence patterns, or motifs, adjacent to defined seq...
172
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We propose a novel approach to designing algorithms for
object tracking based on fusing multiple observation models.
As the space of possible observation models is too large
for...