1034 search results - page 73 / 207 » Inference of field initialization |
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Measurement of organizational knowledge assets is necessary to determine the effectiveness of knowledge management initiatives. A Knowledge Management Capability Assessment instru...
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we proposed a fast and accurate human pose estimation framework that combines top-down and bottom-up methods. The framework consists of an initialization stage and a...
KI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
The ability to model cognitive agents depends crucially on being able to encode and infer with contextual information at many levels (such as situational, psychological, social, or...
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...