561 search results - page 76 / 113 » Inferring better contracts |
WABI
2004
Springer
14 years 1 months ago
2004
Springer
—The problem of reconstructing the duplication history of a set of tandemly repeated sequences was first introduced by Fitch [4]. Many recent studies deal with this problem, show...
ICIP
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper presents novel methods for classifying images based on knowledge discovered from annotated images using WordNet. The novelty of this work is the automatic class discove...
DBKDA
2010
IEEE
14 years 22 days ago
2010
IEEE
Abstract—XML indexing and search has become an important topic, and twig joins are key building blocks in XML search systems. This paper describes a novel approach using a nested...
KDD
2009
ACM
14 years 6 days ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
SIGGRAPH
2010
ACM
14 years 4 days ago
2010
ACM
We present a method for inferring the behavior styles of character controllers from a small set of examples. We show that a rich set of behavior variations can be captured by dete...