3066 search results - page 5 / 614 » On Facilitating Automated Evaluation |
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Negotiation surrounds our day-to-day lives. Research in the field of automated negotiations has suggested the design and use of automated negotiators, on one hand to allow facilit...
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
In the square jigsaw puzzle problem one is required to reconstruct the complete image from a set of non-overlapping, unordered, square puzzle parts. Here we propose a fully automa...
BMCBI
2007
13 years 7 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...