3819 search results - page 237 / 764 » Simple Easy Terms |
201
click to vote
AIEDU
2007
15 years 7 months ago
2007
Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
247
click to vote
TSE
2011
15 years 2 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
210
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
This demo presents Signposts, a system to provide users with a secure, simple mechanism to establish and maintain communication channels between their personal cloud of named devi...
206
click to vote
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
176
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...