205 search results - page 17 / 41 » Engineering Planar Separator Algorithms |
248
click to vote
POPL
2007
ACM
16 years 5 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...
162
click to vote
TIP
2008
15 years 5 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...
123
click to vote
SOCO
2009
Springer
15 years 11 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, ...
171
Voted
WINE
2007
Springer
15 years 11 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...
138
click to vote
ISMIS
2005
Springer
15 years 10 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...