Sciweavers

2043 search results - page 3 / 409
» A convenient category of domains
Sort
View
AMAI
2010
Springer
13 years 3 months ago
Comparing multiagent systems research in combinatorial auctions and voting
In a combinatorial auction, a set of resources is for sale, and agents can bid on subsets of these resources. In a voting setting, the agents decide among a set of alternatives by...
Vincent Conitzer
EMNLP
2009
13 years 3 months ago
Fully Lexicalising CCGbank with Hat Categories
We introduce an extension to CCG that allows form and function to be represented simultaneously, reducing the proliferation of modifier categories seen in standard CCG analyses. W...
Matthew Honnibal, James R. Curran
JCDL
2004
ACM
103views Education» more  JCDL 2004»
13 years 11 months ago
Integration of biomedical text and sequence OAI repositories
Archived biomedical literature and sequence data are growing rapidly. The Open Archives Initiative's Protocol for Metadata Harvesting (OAI-PMH) [1] provides a convenient way ...
Yueyu Fu, Javed Mostafa
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 5 months ago
Approximation in quantale-enriched categories
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
Dirk Hofmann, Pawel Waszkiewicz
ENTCS
2002
69views more  ENTCS 2002»
13 years 5 months ago
The Uniformity Principle on Traced Monoidal Categories
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
Masahito Hasegawa