3994 search results - page 546 / 799 » A Linear Logical Framework |
179
click to vote
CDES
2008
15 years 8 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
184
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
159
click to vote
IJCAI
2007
15 years 8 months ago
2007
This paper presents a novel approach for extracting high-quality <thread-title, reply> pairs as chat knowledge from online discussion forums so as to efficiently support the...
211
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
260
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...