6274 search results - page 1056 / 1255 » Proofs, Programs, Processes |
WWW
2004
ACM
14 years 11 months ago
2004
ACM
Designing web sites is a complex task. Ad-hoc rapid prototyping easily leads to unsatisfactory results, e.g. poor maintainability and extensibility. However, existing web design f...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
CC
2009
Springer
14 years 11 months ago
2009
Springer
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...
RECOMB
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Understanding the regulatory mechanisms that are responsible for an organism's response to environmental changes is an important question in molecular biology. A fir...
KDD
2008
ACM
14 years 11 months ago
2008
ACM
We describe the design and implementation of a high performance cloud that we have used to archive, analyze and mine large distributed data sets. By a cloud, we mean an infrastruc...