Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
For the CLEF 2004 ImageCLEF St Andrewās Collection task the Dublin City University group carried out three sets of experiments. We carried out standard cross-language informatio...
Gareth J. F. Jones, Declan Groves, Anna Khasin, Ad...
We consider the problem of learning a general graph using edge-detecting queries. In this model, the learner may query whether a set of vertices induces an edge of the hidden grap...
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph speciļ¬es which consumers or economies are permitted to engage in...
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...