327 search results - page 44 / 66 » A Theory of Information-Flow Labels |
CE
2008
14 years 8 months ago
2008
This study aimed to design and evaluate multimedia games which were based on the theories of children's development of taxonomic concepts. Factors that might affect children&...
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
Learning Bayesian Belief Networks (BBN) from corpora and incorporating the extracted inferring knowledge with a Support Vector Machines (SVM) classifier has been applied to charac...
142
click to vote
ICML
2003
IEEE
15 years 10 months ago
2003
IEEE
An approach to semi-supervised learning is proposed that is based on a Gaussian random field model. Labeled and unlabeled data are represented as vertices in a weighted graph, wit...
86
Voted
STOC
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we show that any n point metric space can be embedded into a distribution over dominating tree metrics such that the expected stretch of any edge is O(log n). This ...
100
click to vote
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...