3971 search results - page 483 / 795 » On the Use of Properties in Java Applications |
186
click to vote
SIGCSE
1996
ACM
15 years 11 months ago
1996
ACM
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
182
click to vote
PAKDD
2000
ACM
15 years 10 months ago
2000
ACM
Detection of interactions among data items constitutes an essential part of knowledge discovery. The cascade model is a rule induction methodology using levelwise expansion of a la...
203
click to vote
COLT
1995
Springer
15 years 10 months ago
1995
Springer
We propose and analyze a distribution learning algorithm for a subclass of Acyclic Probabilistic Finite Automata (APFA). This subclass is characterized by a certain distinguishabi...
252
click to vote
ITP
2010
15 years 9 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
221
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...