537 search results - page 83 / 108 » Ontologies for Effective Use of Context in e-Learning Settin... |
112
click to vote
KAIS
2006
14 years 11 months ago
2006
Frequent itemset mining was initially proposed and has been studied extensively in the context of association rule mining. In recent years, several studies have also extended its a...
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
EJIS
2007
14 years 11 months ago
2007
The technology acceptance model (TAM) is one of the most widely used behavioural models in the information systems (IS) field. Researchers have used the model to study many differ...
ICDM
2007
IEEE
15 years 3 months ago
2007
IEEE
The problem of selecting a sample subset sufficient to preserve diversity arises in many applications. One example is in the design of recombinant inbred lines (RIL) for genetic a...
222
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....