13224 search results - page 2413 / 2645 » Self-monitoring for Computer Users |
HT
2007
ACM
14 years 3 days ago
2007
ACM
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
3DPVT
2004
IEEE
13 years 12 months ago
2004
IEEE
In order to analyze the sensitivity of children to RF fields and mobile phones in particular, the SAR (Specific Absorption Ratio) defined as the power absorbed by a unit of mass o...
3DPVT
2004
IEEE
13 years 12 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
ARCS
2004
Springer
13 years 12 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
ATVA
2004
Springer
13 years 12 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...