Sciweavers

1086 search results - page 171 / 218
» Programming by Numbers: A Programming Method for Novices
Sort
View
ER
2004
Springer
179views Database» more  ER 2004»
15 years 11 months ago
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings
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...
Stella Waworuntu, James Bailey
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
15 years 11 months ago
Evaluating Evolutionary Testability with Software-Measurements
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 ...
Frank Lammermann, André Baresel, Joachim We...
ISSAC
2004
Springer
185views Mathematics» more  ISSAC 2004»
15 years 11 months ago
Automatic generation of polynomial loop
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...
Enric Rodríguez-Carbonell, Deepak Kapur
HICSS
2003
IEEE
200views Biometrics» more  HICSS 2003»
15 years 11 months ago
A Dynamic Assignment Problem in a Mobile System with Limited Bandwidth
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...
Yang Wang 0006, Thomas Kunz
ICRA
2003
IEEE
125views Robotics» more  ICRA 2003»
15 years 11 months ago
Online footstep planning for humanoid robots
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...
James J. Kuffner Jr., Satoshi Kagami, Koichi Nishi...