7868 search results - page 1195 / 1574 » Learning by Answer Sets |
216
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
155
Voted
UAIS
2008
15 years 6 months ago
2008
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
213
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
192
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Conventions are necessary to establish in any recurrent cooperative arrangement. In electronic work, they are important so as to regulate the use of shared objects. Based on empir...
191
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...