5550 search results - page 675 / 1110 » Different Approaches to Proof Systems |
216
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...
365
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
175
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
In this paper, we present NiCEBook, a paper notebook that supports taking, structuring and reusing notes. Through a study of note-taking habits, we observed that different strateg...
186
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Accurate localization of landmarks in the vicinity of a robot is a first step towards solving the SLAM problem. In this work, we propose algorithms to accurately estimate the ...
189
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...