2989 search results - page 294 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
154
click to vote
ICSEA
2006
IEEE
16 years 21 days ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
181
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
168
click to vote
TASLP
2008
15 years 6 months ago
2008
The predominant melodic source, frequently the singing voice, is an important component of musical signals. In this paper, we describe a method for extracting the predominant sourc...
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...
197
click to vote
ICDE
2006
IEEE
16 years 21 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...