2766 search results - page 233 / 554 » Hybridizing a Logical Framework |
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper addresses online learning of reference object distribution in the context of two hybrid tracking schemes that combine the mean shift with local point feature correspond...
165
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
152
click to vote
ICLP
1990
Springer
15 years 10 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
168
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper builds on a novel framework of hybrid matching constraints for estimation of structure and recovery of camera focal length and motion, combining the advantages of both ...
222
click to vote
AMFG
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract. 3D face tracking is an important component for many computer vision applications. Most state-of-the-art tracking algorithms can be characterized as being either intensity...