Sciweavers

975 search results - page 80 / 195
» Using language as related stimuli for concept generation
Sort
View
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 5 months ago
Mining Multi-Level Frequent Itemsets under Constraints
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
Mohamed Salah Gouider, Amine Farhat
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
14 years 1 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai
ICSE
2005
IEEE-ACM
14 years 8 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
HASKELL
2005
ACM
14 years 1 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
ISN
1999
Springer
112views Communications» more  ISN 1999»
14 years 3 days ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz