862 search results - page 65 / 173 » A Framework for Testing Peer-to-Peer Systems |
155
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
s LEXSYS, (Legume Expert System) was a project conceived at IITA (International Institute of Tropical Agriculture) Ibadan Nigeria. It was initiated by the COMBS (Collaborative Grou...
216
click to vote
MOBIHOC
2005
ACM
16 years 5 months ago
2005
ACM
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
187
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
164
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
191
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The estimation of head pose angle from face images is an integral component of face recognition systems, human computer interfaces and other human-centered computing applications....