1086 search results - page 171 / 218 » Programming by Numbers: A Programming Method for Novices |
ER
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
ISSAC
2004
Springer
14 years 2 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The assignment problem originally arising from parallel and distributed computing has been investigated intensively since the 70’s when Harold Stone proposed a method to solve i...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...