2076 search results - page 222 / 416 » Functional logic overloading |
143
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
155
click to vote
GFKL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...
128
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
156
Voted
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
111
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...