1055 search results - page 117 / 211 » Enumerations in computable structure theory |
152
click to vote
JACM
2010
15 years 2 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
155
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper we present coupled partial differential equations (PDEs) for the problem of joint segmentation and registration. The registration component of the method estimates a...
146
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
123
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
156
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...