5109 search results - page 547 / 1022 » On Learning Limiting Programs |
220
click to vote
FECS
2010
15 years 5 months ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...
211
click to vote
IPSN
2010
Springer
16 years 2 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
209
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows speciļ¬c protocols, for example certain orders of method calls and/or control structure constraints...
175
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
174
click to vote
CG
2006
Springer
15 years 11 months ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...