899 search results - page 66 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
CPAIOR
2011
Springer
13 years 12 days 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...
WETICE
1995
IEEE
14 years 12 days 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...
VMCAI
2007
Springer
14 years 3 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...
CCS
2003
ACM
14 years 2 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...
RECOMB
2003
Springer
14 years 9 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...