10916 search results - page 1966 / 2184 » On Constructive Connectives and Systems |
186
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
172
click to vote
IPM
2007
15 years 6 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
157
click to vote
TIT
2008
15 years 6 months ago
2008
The problem of transmission of information over arbitrarily permuted parallel channels is studied here. The transmitter does not know over which channel a certain codesequence will...
167
click to vote
TKDE
2008
15 years 6 months ago
2008
This paper is concerned with the problem of mining competitors from the Web automatically. Nowadays, the fierce competition in the market necessitates every company to know not onl...
164
click to vote
TOCS
2008
15 years 6 months ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...