626 search results - page 91 / 126 » When Can Formal Methods Make a Real Difference |
139
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...
128
click to vote
AAI
2010
15 years 3 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
156
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
147
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...
146
Voted
ACL
1997
15 years 4 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...