877 search results - page 103 / 176 » How to Cover a Grammar |
115
click to vote
AMAI
2006
Springer
15 years 21 days ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
107
click to vote
CORR
2006
Springer
15 years 20 days ago
2006
Springer
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
101
click to vote
ENTCS
2006
15 years 19 days ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
IJDAR
2008
15 years 19 days ago
2008
Abstract This paper describes a document recognition system for the modern neume based notation of Byzantine music. We propose algorithms for page segmentation, lyrics removal, syn...
93
Voted
CMOT
2007
15 years 19 days ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...