2339 search results - page 381 / 468 » A student-directed computing community |
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
114
click to vote
DIGITALCITIES
2003
Springer
15 years 6 months ago
2003
Springer
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...
104
click to vote
FGR
2002
IEEE
15 years 6 months ago
2002
IEEE
Identification of people from gait captured on video has become a challenge problem in computer vision. However, there is not a baseline algorithm or standard dataset for measuri...
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
107
click to vote
AINA
2010
IEEE
15 years 6 months ago
2010
IEEE
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...