10715 search results - page 1919 / 2143 » From Tests to Proofs |
247
click to vote
MSR
2006
ACM
16 years 18 days ago
2006
ACM
With the advent of open source software repositories the data available for defect prediction in source files increased tremendously. Although traditional statistics turned out t...
174
click to vote
3DGIS
2006
Springer
16 years 8 days ago
2006
Springer
The extraction of the building models from remote-sensed data is an important work in the geographic information systems. This investigation describes an approach to integrate LIDA...
217
click to vote
HAPTICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...
189
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
205
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
— This paper presents DONet, a Data-driven Overlay Network for live media streaming. The core operations in DONet are very simple: every node periodically exchanges data availabi...