3742 search results - page 447 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
SDM
2004
SIAM
15 years 8 months ago
2004
SIAM
In this paper we propose a method for grouping and summarizing large sets of association rules according to the items contained in each rule. We use hierarchical clustering to par...
133
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
178
click to vote
CLEIEJ
2008
15 years 6 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
186
click to vote
DEBU
2006
15 years 6 months ago
2006
The AVATAR Information Extraction System (IES) at the IBM Almaden Research Center enables highprecision, rule-based, information extraction from text-documents. Drawing from our e...
147
click to vote
JLP
2006
15 years 6 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...