Sciweavers

4128 search results - page 87 / 826
» Learning and using relational theories
Sort
View
88
Voted
FMCAD
2008
Springer
15 years 2 months ago
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
Orna Kupferman, Wenchao Li, Sanjit A. Seshia
168
Voted
ICML
2003
IEEE
16 years 1 months ago
Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions
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...
Xiaojin Zhu, Zoubin Ghahramani, John D. Lafferty
GRC
2008
IEEE
15 years 1 months ago
Fuzzy Preference Relation Rough Sets
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...
Qinghua Hu, Daren Yu, Congxin Wu
112
Voted
ETS
2002
IEEE
116views Hardware» more  ETS 2002»
15 years 13 days ago
Human Activity Systems: A Theoretical Framework for Designing Learning for Multicultural Settings
In the analysis of any learning environment, whether small or large, one observes within it a "set of human activities related to each other so they can be viewed as a whole&...
Jill Slay
87
Voted
ICSE
2003
IEEE-ACM
16 years 23 days ago
Separation in Theory - Coordination in Practice
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
Torkil Clemmensen, Jacob Nørbjerg