1128 search results - page 126 / 226 » Little Engines of Proof |
ICSM
2003
IEEE
15 years 6 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
106
Voted
ISPASS
2003
IEEE
15 years 6 months ago
2003
IEEE
MPEG-4 is an important international standard with wide applicability. This paper focuses on MPEG-4’s main profile, video, whose approach allows more efficiency in coding and ...
90
Voted
AC
2003
Springer
15 years 6 months ago
2003
Springer
Psychological studies indicate that people have a small but statistically significant ability to recognize the gaits of individuals that they know. Recently, there has been much i...
106
Voted
CSMR
2002
IEEE
15 years 5 months ago
2002
IEEE
Even though the benefits of component-based software development are widely accepted, they are easily overestimated. To provide a firmer basis for the general discussion we descri...
111
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
The problems of producing a software system to assist in the rehabilitation of people who have suffered serious traumatic brain injuries are described. In addition to this primary...