5608 search results - page 1045 / 1122 » On the Theory of Matchgate Computations |
103
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
109
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
In this work an improvement of an initial approach to design Artificial Neural Networks to forecast Time Series is tackled, and the automatic process to design Artificial Neural N...
109
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
124
click to vote
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Shape database search is ubiquitous in the world of biometric systems, CAD systems etc. Shape data in these domains is experiencing an explosive growth and usually requires search...
115
click to vote
SPAA
2010
ACM
15 years 1 months ago
2010
ACM
We study the communication complexity of rumor spreading in the random phone-call model. Suppose n players communicate in parallel rounds, where in each round every player calls a...