899 search results - page 66 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
159
Voted
CPAIOR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
150
Voted
WETICE
1995
IEEE
15 years 7 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
132
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
120
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Forward-secure signatures (FSSs) have recently received much attention from the cryptographic theory community as a potentially realistic way to mitigate many of the difficulties...
140
Voted
RECOMB
2003
Springer
16 years 3 months ago
2003
Springer
Recent research has demonstrated quite convincingly that accurate cancer diagnosis can be achieved by constructing classifiers that are designed to compare the gene expression pro...