1347 search results - page 61 / 270 » On the Structure of the Minimum Time Function |
168
click to vote
CPP
2011
14 years 11 days ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
104
Voted
KDD
2007
ACM
16 years 29 days ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
146
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
SIGPLAN
2002
15 years 6 days ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
116
click to vote
CPM
2006
Springer
15 years 4 months ago
2006
Springer
The Range-Minimum-Query-Problem is to preprocess an array such that the position of the minimum element between two specified indices can be obtained efficiently. We present a dire...