1836 search results - page 221 / 368 » Hierarchies for semantic classes |
100
click to vote
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
169
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite the recent proliferation of work on semistructured data models, there has been little work to date on supporting uncertainty in these models. In this paper, we propose a m...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a generative model-based approach for audio-visual event classification. This approach is based on a new unsupervised learning method using an extended p...
SOFSEM
2009
Springer
15 years 7 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...