851 search results - page 143 / 171 » History Effects and Verification |
132
click to vote
PR
2008
14 years 11 months ago
2008
This paper proposes a real-time 3D head tracking method that can handle large rotation and translation. To achieve this goal, we incorporate the following three approaches into th...
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
A city offers thousands of social events a day, and it is difficult for dwellers to make choices. The combination of mobile phones and recommender systems can change the way one de...
105
click to vote
TMC
2011
14 years 6 months ago
2011
— Context information brings new opportunities for efficient and effective system resource management of mobile devices. In this work we focus on the use of context information t...
SIGSOFT
2002
ACM
16 years 16 days ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...