Sciweavers

3025 search results - page 116 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
112
Voted
WWW
2004
ACM
16 years 3 months ago
Optimization of html automatically generated by wysiwyg programs
Automatically generated HTML, as produced by WYSIWYG programs, typically contains much repetitive and unnecessary markup. This paper identifies aspects of such HTML that may be al...
Jacqueline Spiesser, Les Kitchen
112
Voted
IROS
2006
IEEE
166views Robotics» more  IROS 2006»
15 years 8 months ago
Obstacle Avoidance Behavior for a Biologically-inspired Mobile Robot Using Binaural Ultrasonic Sensors
– Many untethered mobile robots require an operator’s vision and intelligence for guidance and navigation. Animals and insects, however, use sensory systems such as hearing, an...
William A. Lewinger, Michael S. Watson, Roger D. Q...
118
Voted
WOSP
2000
ACM
15 years 7 months ago
A UML tool for an automatic generation of simulation programs
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
L. B. Arief, Neil A. Speirs
99
Voted
CAV
2006
Springer
143views Hardware» more  CAV 2006»
15 years 6 months ago
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
Josh Berdine, Byron Cook, Dino Distefano, Peter W....
128
Voted
PPDP
2009
Springer
15 years 9 months ago
Automatic refactoring of Erlang programs
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
Konstantinos F. Sagonas, Thanassis Avgerinos