5128 search results - page 981 / 1026 » Discrete Component Analysis |
188
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
184
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
186
click to vote
GIS
2007
ACM
16 years 21 days ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
196
click to vote
IBPRIA
2007
Springer
16 years 21 days ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
207
Voted
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
We present a Dynamic Data Driven Application System (DDDAS) to track 2D shapes across large pose variations by learning non-linear shape manifold as overlapping, piecewise linear s...