1456 search results - page 229 / 292 » Two Techniques to Improve Finite Model Search |
ICA
2007
Springer
13 years 11 months ago
2007
Springer
Deriving a thematically meaningful partition of an unlabeled document corpus is a challenging task. In this context, the use of document representations based on latent thematic ge...
AAAI
2006
13 years 9 months ago
2006
We present a new method for mapping ontology schemas that address similar domains. The problem of ontology mapping is crucial since we are witnessing a decentralized development a...
EUROCRYPT
2005
Springer
14 years 1 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
IUI
2004
ACM
14 years 1 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...