Sciweavers

3408 search results - page 592 / 682
» Logic, language, information and computation
Sort
View
SIGCSE
2005
ACM
125views Education» more  SIGCSE 2005»
14 years 2 months ago
Efficient use of robots in the undergraduate curriculum
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
Judith Challinger
ITICSE
2004
ACM
14 years 2 months ago
Self-efficacy and mental models in learning to program
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...
Vennila Ramalingam, Deborah LaBelle, Susan Wiedenb...
GRID
2004
Springer
14 years 2 months ago
Toward Characterizing the Performance of SOAP Toolkits
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...
Madhusudhan Govindaraju, Aleksander Slominski, Ken...
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
14 years 2 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz
AGENTS
2001
Springer
14 years 1 months ago
An auction-based method for decentralized train scheduling
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
David C. Parkes, Lyle H. Ungar