205 search results - page 17 / 41 » Engineering Planar Separator Algorithms |
166
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
TIP
2008
14 years 9 months ago
2008
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
SOCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
WINE
2007
Springer
15 years 3 months ago
2007
Springer
A context in sponsored search is additional information about a query, such as the user’s age, gender or location, that can change an advertisement’s relevance or an advertise...
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
Intelligent information processing systems, such as digital libraries or search engines index web-pages according to their informative content. However, web-pages contain several n...