2496 search results - page 454 / 500 » Error-detecting properties of languages |
FLAIRS
2007
14 years 1 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
CONEXT
2008
ACM
14 years 24 days ago
2008
ACM
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
CIDR
2003
14 years 12 days ago
2003
It has frequently been observed that most of the world’s data lies outside database systems. The reason is that database systems focus on structured data, leaving the unstructur...
PSSS
2003
14 years 11 days ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
BMCBI
2010
13 years 11 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...