4814 search results - page 322 / 963 » Combining abstract interpreters |
183
click to vote
ICIAP
2003
ACM
15 years 12 months ago
2003
ACM
Principal component analyses (PCA) has been widely used in reduction of the dimensionality of datasets, classification, feature extraction, etc. It has been combined with many oth...
188
click to vote
ILP
2003
Springer
15 years 12 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
197
Voted
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
175
Voted
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
165
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...