984 search results - page 53 / 197 » ideas 2010 |
133
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
142
click to vote
EJC
2010
15 years 6 months ago
2010
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology,...
136
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We consider a dense n-user Gaussian interference network formed by paired transmitters and receivers placed independently at random in Euclidean space. Under natural conditions on ...
158
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Following the trend of “segmentation for recognition”, we present 2LDA, a novel generative model to automatically segment an image in 2 segments, background and fore...