2989 search results - page 444 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
GCB
2010
Springer
14 years 8 months ago
2010
Springer
: The ability of some RNA molecules to switch between different metastable conformations plays an important role in cellular processes. In order to identify such molecules and to p...
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metam...
ICASSP
2009
IEEE
14 years 7 months ago
2009
IEEE
Monaural speech segregation is a very challenging problem which has been studied by many researchers. In this paper, we focus on voiced speech segregation. Different strategies ar...
ICDIM
2009
IEEE
14 years 7 months ago
2009
IEEE
Motivated by the numerous applications of analysing opinions in multi-domain scenarios, this paper studies the potential of a still rarely considered approach to the problem of mu...