6618 search results - page 1244 / 1324 » Natural Logic for Natural Language |
179
Voted
ISQED
2007
IEEE
16 years 16 days 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...
212
click to vote
CSL
2007
Springer
16 years 13 days 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 ļ...
176
click to vote
GEOS
2007
Springer
16 years 12 days 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...
180
Voted
ICCS
2007
Springer
16 years 12 days 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...
167
click to vote
ICN
2007
Springer
16 years 12 days 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...