12107 search results - page 31 / 2422 » Software That Can Think |
KBSE
1999
IEEE
14 years 8 days ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
IWPC
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a humanoid robot that has the same size as a human and that can lie down to the floor and get up from the floor with the robot face upward and downward. We b...
MOBICOM
2010
ACM
13 years 8 months ago
2010
ACM
Collisions in overlapping channels are becoming an increasingly important problem in the deployment of high-speed wireless networks. In this paper, we present Remap, a simple, nov...