3172 search results - page 335 / 635 » New developments of the Z-EDM algorithm |
169
click to vote
ICIAR
2004
Springer
16 years 3 hour ago
2004
Springer
This paper presents a novel computational visual grouping method, termed pulling, pushing and grouping, or PPG for short. Visual grouping is formulated as a functional optimisation...
178
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
Riemannian metric tensors are used to control the adaptation of meshes for finite element and finite volume computations. To study the numerous metric construction and manipulat...
178
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
170
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
The emergence of location-aware services calls for new real-time spatio-temporal query processing algorithms that deal with large numbers of mobile objects and queries. In this de...
142
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...