10055 search results - page 105 / 2011 » Structured programming using processes |
JCST
2008
13 years 7 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
TSD
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents the final version of the Czech Broadcast Conversation Corpus released at the Linguistic Data Consortium (LDC). The corpus contains 72 recordings of a...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
AWIC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...