2176 search results - page 373 / 436 » Refactoring Methods for Knowledge Bases |
164
click to vote
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
121
click to vote
APVIS
2009
15 years 1 months ago
2009
This paper presents a novel method for the interactive identification of contextual interest points within volumetric data by picking on a direct volume rendered image. In clinica...
140
click to vote
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper, we present a framework for mining diverging patterns, a new type of contrast patterns whose frequency changes significantly differently in two data sets, e.g., it c...
156
click to vote
EUROPKI
2009
Springer
15 years 1 months ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
144
click to vote
GW
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...