2409 search results - page 241 / 482 » Logical systems for structured specifications |
130
click to vote
JOLLI
2008
15 years 4 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
154
Voted
MKWI
2008
15 years 6 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
121
Voted
BIOINFORMATICS
2008
15 years 4 months ago
2008
Residue coevolution has recently emerged as an important concept, especially in the context of protein structures. While a multitude of different functions for quantifying it have...
125
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Accurate and sensitive performance evaluation is crucial for both effective development of better structure prediction methods based on sequence similarity, and for th...
155
click to vote
DOLAP
2008
ACM
15 years 6 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...