7452 search results - page 1387 / 1491 » A Semantics for Multiprocessor Systems |
127
click to vote
COMPUTING
2006
15 years 4 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
143
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
133
click to vote
BMCBI
2007
15 years 4 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
113
click to vote
FTWEB
2006
15 years 4 months ago
2006
This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures. A comprehensive set of research questions...
140
Voted
FUIN
2006
15 years 4 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...