677 search results - page 49 / 136 » Dependent Types from Counterexamples |
159
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...
137
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
136
Voted
PRDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
141
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
122
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...