6618 search results - page 1244 / 1324 » Natural Logic for Natural Language |
108
click to vote
ISQED
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a novel technique to exploit the power-performance tradeoļ¬. The technique can be used stand-alone or in conjunction with dynamic voltage scaling, the mainstream techn...
144
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
114
click to vote
GEOS
2007
Springer
15 years 6 months ago
2007
Springer
Spatio-temporal network is deļ¬ned by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
112
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
ICN
2007
Springer
15 years 6 months ago
2007
Springer
āPeer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...