1411 search results - page 148 / 283 » Interactive Coding for Interactive Proofs |
CSC
2006
14 years 11 months ago
2006
-- A computer program has been developed to simulate the helium atom scattering from stepped surface for both up hill and down hill scattering with diffraction kinematics chosen to...
IASTEDSEA
2004
14 years 11 months ago
2004
As software systems evolve over a series of releases, it becomes important to know which components show repeated need for maintenance. Deterioration of a single component manifes...
CONCURRENCY
1998
14 years 9 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
ECCE
2007
14 years 11 months ago
2007
Motivation – This research aims at investigating emerging roles and forms of participation fostering design-use mediation during the Open Source Software design process Research...
100
click to vote
CVPR
2007
IEEE
16 years 12 min ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...