Sciweavers

149 search results - page 5 / 30
» What will they say
Sort
View
CACM
2008
101views more  CACM 2008»
13 years 7 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
13 years 11 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...
SYNTHESE
2008
68views more  SYNTHESE 2008»
13 years 7 months ago
On what we can ensure
: The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues t...
Benjamin Schnieder
OWLED
2008
13 years 9 months ago
What Causes Pneumonia? The Case for a Standard Semantics for "may" in OWL
: One of users' most frequent questions about OWL is "how do I say `may'?", as in "Bacteria may cause pneumonia." In many fields, particularly biomedi...
Alan L. Rector, Robert Stevens, Nick Drummond
TARK
2007
Springer
14 years 1 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...