Sciweavers

489 search results - page 54 / 98
» Support tools for graphs in computer science
Sort
View
ACSC
2003
IEEE
15 years 6 months ago
User Hints for Map Labelling
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
Hugo A. D. do Nascimento, Peter Eades
ICMT
2010
Springer
15 years 6 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
ACSC
2004
IEEE
15 years 5 months ago
Access-Ordered Indexes
Search engines are an essential tool for modern life. We use them to discover new information on diverse topics and to locate a wide range of resources. The search process in all ...
Steven Garcia, Hugh E. Williams, Adam Cannane
FOCS
1991
IEEE
15 years 4 months ago
A parallel algorithmic version of the Local Lemma
The Lov´asz Local Lemma is a tool that enables one to show that certain events hold with positive, though very small probability. It often yields existence proofs of results with...
Noga Alon
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 1 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...