Sciweavers

10271 search results - page 630 / 2055
» Computer Science
Sort
View
ALGORITHMICA
2007
118views more  ALGORITHMICA 2007»
15 years 7 months ago
External-Memory Algorithms for Processing Line Segments in Geographic Information Systems
d abstract) Lars Arge1 , Darren Erik Vengroff2 , and Jeffrey Scott Vitter3 1 BRICS† , Department of Computer Science, University of Aarhus, Aarhus, Denmark 2 Department of Comp...
Lars Arge, Darren Erik Vengroff, Jeffrey Scott Vit...
165
Voted
TALG
2008
100views more  TALG 2008»
15 years 7 months ago
Thin heaps, thick heaps
The Fibonacci heap was devised to provide an especially efficient implementation of Dijkstra's shortest path algorithm. Although asyptotically efficient, it is not as fast in...
Haim Kaplan, Robert Endre Tarjan
LPAR
2010
Springer
15 years 5 months ago
Graded Alternating-Time Temporal Logic
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
Marco Faella, Margherita Napoli, Mimmo Parente
CLEIEJ
2010
15 years 4 months ago
An educational methodology based on the work of students
In the year 2006 the "Instituto Universitario Aut
Sylvia da Rosa, Federico Gomez Frois
173
Voted
COGSR
2010
92views more  COGSR 2010»
15 years 2 months ago
On strong anticipation
We examine Dubois's [Dubois, D., 2003. Mathematical foundations of discrete and functional systems with strong and weak anticipations. Lecture Notes in Computer Science 2684,...
Nigel Stepp, Michael T. Turvey