Results 1 - 10
of
23,169
Tableau Methods. Kluwer Academic Publishers, 1999. 2. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol Conformance for Logic- based Agents. In Proceedings of the 18th International Joint Conference on Arti- cial Intelligence (IJCAI-2003). Morgan Kaufmann, 2003. 3. M. Fitting. First-order Logic and Automated Theorem Proving. Springer-Verlag, 2nd edition, 1996. 4. P. McBurney and S. Parsons. Desiderata for Inter-agent Protocols. In Proceed- ings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, 2002.
2003
Cited by 3
Tableau Methods. Kluwer Academic Publishers, 1999. 2. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol Conformance for Logic- based Agents. In Proceedings of the 18th International Joint Conference on Arti- cial Intelligence (IJCAI-2003). Morgan Kaufmann, 2003. 3. M. Fitting. First-order Logic and Automated Theorem Proving. Springer-Verlag, 2nd edition, 1996. 4. P. McBurney and S. Parsons. Desiderata for Inter-agent Protocols. In Proceed- ings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, 2002.
2003
Cited by 3
Table 1.2 U and V passband expect SNR for typical Si diode detector NEP of 1x10-14 watts/sqrt(hz) and for integration times of 1, 10 and 100 seconds SNR U V
1997
"... In PAGE 48: ... Because digital data is being transmitted, a relatively high data rate will be required in order to transmit all data within the 7-10 minute window available during each pass of the spacecraft. Table1 shows the specifications for the telemetering system. These specifications are... ..."
Table 7. Forecast of the state of the Keava study area in the year 2013-2014 on the basis of different transition matrices (I, I1 and 111).
"... In PAGE 11: ... We estimated the reliability of the predictions (and the transition matrix model in general) by con- structing the future states proceeding from differ- ent transition matrices and initial states of the same study area. The Keava study area was taken as an example and three different forecasts were made based on: I) the matrix of the 31 year period, KN5 182 and KA5 182; 11) the matrix of the short (16 year) period, KN6682 and KA6682, and 111) the averaged matrix, KN5166 + KN6682 and KA5166 + KA6682 (see Table7 ). As we can see, the dis- crepancies between different predictions are on the level of 1% (with respect to the total study area), whereas the changes themselves reach 1.... ..."
Table 5: Test pattern generation IDDQ statistics (standard cell) VLSI. In Proceedings of International Test Conference, pages 938{947. IEEE, 1990. [SM90] Thomas Storey and Wojciech Maly. CMOS bridging fault detection. In Proceedings of International Test Conference, pages 842{ 851. IEEE, 1990.
1991
"... In PAGE 6: ... Possible solutions are to em- ploy IDDQ testing [Ack83], apply more accurate circuit simulation of faults, detect the bridge as a delay fault, or redesign the cells so that a discrepancy is guaran- teed for at least one input combination for each cell. In Table5 we show the results of our system generating IDDQ test patterns for same set of bridging faults that produced the results in Table 4. We also plan on integrating the testing for breaks on the interconnection lines, and the testing for defects within the cells to Carafe and Nemesis.... ..."
Cited by 41
Table 5. Candidate 10/14 bit sync words.
Table 2. Probit of employment of children 10-14 years old
2005
"... In PAGE 6: ... V. Results Table2 reports the basic estimation for the probability that a child works. In both the urban and rural cases, we see, albeit to different extents, similar relationships between the probability of a child working and the independent variables.... ..."
Table 2: Increments applied for a population increase of 2013
1997
Cited by 4
Results 1 - 10
of
23,169