1065 search results - page 151 / 213 » Towards a Meaning of LIFE |
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
ISBI
2006
IEEE
15 years 12 months ago
2006
IEEE
Work in progress towards modeling shape statistics of multiobject complexes is presented. Constraints defined by the set of objects such as a compact representation of object shap...
WWW
2005
ACM
15 years 12 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
PKC
2009
Springer
15 years 11 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
CHI
2008
ACM
15 years 11 months ago
2008
ACM
To overcome display limitations of small-screen devices, researchers have proposed techniques that point users to objects located off-screen. Arrow-based techniques such as City L...