1960 search results - page 39 / 392 » The Logic of Large Enough |
CCR
2002
13 years 7 months ago
2002
This paper describes the results of a 500 million packet trace of a popular on-line, multi-player, game server. The results show that the traffic behavior of this heavily loaded ga...
ITC
2003
IEEE
14 years 29 days ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
CSMR
1998
IEEE
13 years 12 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
ISMVL
2006
IEEE
14 years 1 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
TSD
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present a new Question Answering (QA) system based on redundancy and a new Passage Retrieval (PR) method oriented to QA. We suppose that in a large enough document...