Sciweavers

4880 search results - page 755 / 976
» Manuals as Structured Programs
Sort
View
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
15 years 8 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner
ATMOS
2008
187views Optimization» more  ATMOS 2008»
15 years 8 months ago
Solving Periodic Timetable Optimisation Problems by Modulo Simplex Calculations
In the last 15 years periodic timetable problems have found much interest in the combinatorial optimization community. We will focus on the optimisation task to minimise a weighted...
Karl Nachtigall, Jens Opitz
ADBIS
2010
Springer
181views Database» more  ADBIS 2010»
15 years 8 months ago
Stones Falling in Water: When and How to Restructure a View-Based Relational Database
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
EMNLP
2008
15 years 8 months ago
A Generative Model for Parsing Natural Language to Meaning Representations
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...
Wei Lu, Hwee Tou Ng, Wee Sun Lee, Luke S. Zettlemo...