3573 search results - page 526 / 715 » Reasoning about Codata |
120
click to vote
BNCOD
2004
15 years 5 months ago
2004
A student with a Computing Science degree is expected to have reached a reasonable level of expertise in SQL. SQL is a non-trivial skill to master and is taught with different degr...
148
Voted
CASCON
2006
15 years 5 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
121
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
117
click to vote
CGVR
2006
15 years 5 months ago
2006
In this paper, we present the results of a comparative evaluation of a "virtual Lego" system against real Lego bricks with novice users. The virtual Lego system was desi...
147
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...