3804 search results - page 187 / 761 » From Here to There |
166
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
141
click to vote
STOC
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
220
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we aim to infer a model of genetic networks from time series data of gene expression profiles by using a new gene expression programming algorithm. Gene expression n...
158
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Iterative reconstruction algorithms augmented with regularization can produce high-quality reconstructions from few views and even in the presence of significant noise. In this pa...
164
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability to mark-up live sports event content, viewed from multiple camera angles, such that athletes and other objects of interest can be tracked, facilitates an exciting new ...