19003 search results - page 373 / 3801 » We Need Assurance |
187
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. H...
149
click to vote
CLA
2007
15 years 8 months ago
2007
In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between the assembled components is crucial. ...
151
Voted
CATS
2008
15 years 8 months ago
2008
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
174
click to vote
HCI
2007
15 years 8 months ago
2007
With the U.S. facing a decline in science, math and engineering skills, there is a need for educators in these fields to team with engineers and cognitive scientists to pioneer nov...
183
click to vote
NIPS
2008
15 years 8 months ago
2008
The inverse dynamics problem for a robotic manipulator is to compute the torques needed at the joints to drive it along a given trajectory; it is beneficial to be able to learn th...