1173 search results - page 167 / 235 » Identifying Successful Telecommuters |
ENTCS
2007
14 years 9 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
ENVSOFT
2007
14 years 9 months ago
2007
Groundwater long-term monitoring (LTM) is required to assess the performance of groundwater remediation and human being health risk at post-closure sites where groundwater contami...
KES
2006
Springer
14 years 9 months ago
2006
Springer
There is a keen demand for a method of sharing better work practices in a factory because better work practices are the key to improving productivity. We have developed a system th...
PE
2008
Springer
14 years 9 months ago
2008
Springer
In this paper we consider the problem of sending data in real time from information sources to sets of receivers, using peer-to-peer communications. We consider several models of ...
PAMI
2006
14 years 9 months ago
2006
: This article addresses the problem of estimating the motion of a camera as it observes the outline (or apparent contour) of a solid bounded by a smooth surface in successive imag...