8838 search results - page 50 / 1768 » Generalizing Domain Theory |
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
ACL
1990
15 years 1 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
113
click to vote
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
— We consider the problem of rate allocation in a fading Gaussian multiple-access channel with fixed transmission powers. The goal is to maximize a general concave utility funct...
123
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...