9730 search results - page 286 / 1946 » Relating models of backtracking |
137
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
159
click to vote
CRV
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
143
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Knowledge is recognized as a critical resource to gain and sustain competitive advantage in business. While many organizations are employing knowledge management (KM) initiatives,...
122
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
156
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...