Sciweavers

2701 search results - page 337 / 541
» On the form of witness terms
Sort
View
BNCOD
2004
131views Database» more  BNCOD 2004»
15 years 8 months ago
Teaching SQL - Which Pedagogical Horse for This Course?
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...
Karen Renaud, Judy van Biljon
AVI
2006
15 years 8 months ago
An evaluation of depth perception on volumetric displays
We present an experiment that compares volumetric displays to existing 3D display techniques in three tasks that require users to perceive depth in 3D scenes. Because they generat...
Tovi Grossman, Ravin Balakrishnan
CIIT
2004
15 years 8 months ago
Considerations on the bit error probability of optical CDMA systems
( )1 The most common metric for evaluating the performance of an optical communications system is the symbol error probability (SEP) versus the received optical power. In circuit-l...
Stefano Galli, Ronald Menendez, Russel Fischer, Ro...
CLIMA
2004
15 years 8 months ago
Declarative Agent Control
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
COMMA
2006
15 years 8 months ago
Justifying Actions by Accruing Arguments
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
Trevor J. M. Bench-Capon, Henry Prakken