180 search results - page 25 / 36 » Self-Assembly of Infinite Structures |
145
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
118
click to vote
BC
2005
15 years 3 months ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
120
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
121
click to vote
ICARCV
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...