4894 search results - page 188 / 979 » Choices |
184
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We propose a design model for guiding learning in exploratory environments through representational choices. Selecting the appropriate representations at the correct granularity ca...
162
click to vote
VOTEID
2009
Springer
16 years 1 months ago
2009
Springer
In the Dutch e-voting debate, the crucial issue leading to the abandonment of all electronic voting machines was compromising radiation, or tempest. Other countries, however, do no...
202
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
147
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Buhrman, Cleve and Wigderson gave a general communication protocol for block-composed functions f(g1(x1 , y1 ), · · · , gn(xn , yn )) by simulating a decision tree com...
135
Voted
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...