Results 11 - 20
of
175,091
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: A DTD for Conference.
2000
"... In PAGE 5: ...For instance, Table1 shows a DTD for Conference which states that a conf element can have four sub-elements: title, date, editor and paper in that order. As common in regular expression, 0 or 1 occurrence (i.... In PAGE 5: ... On the other hand, the contact element has a mandatory aid attribute that must point to the id attribute of the contacting author of the current paper. One interesting de nition in Table1 is the cite element; it can have zero or more paper elements as sub-elements, thus creating a cyclic de nition.... In PAGE 8: ...) For further details of the algorithm, refer to [18]. Figure 2 illustrates a DTD graph that is created from the DTD in Table1 . Table 3 shows the output of the transformation by the hybrid algorithm.... In PAGE 8: ... Since the paper element is shared by the conf and cite elements (two incoming edges in a DTD graph), new elds parent elm, fk conf and fk cite are added to record who and where the parent node was. Note that in the paper table of Table1 , a tuple with id= quot;p7 quot; has the value quot;paper quot; for the root elm eld. This is because the element lt;paper id= quot;p7 quot; gt; is rooted in the DTD in Table 1 without being embedded in other element.... In PAGE 8: ... Note that in the paper table of Table 1, a tuple with id= quot;p7 quot; has the value quot;paper quot; for the root elm eld. This is because the element lt;paper id= quot;p7 quot; gt; is rooted in the DTD in Table1 without being embedded in other element. Consequently, its parent elm, fk conf and fk cite elds are null.... In PAGE 8: ... Since the person is shared by the author and editor elements, again, the parent elm is added. Note that in the person table of Table1 , a tuple with id= quot;klavans quot; has the value quot;editor quot;, not quot;paper quot;, for the parent elm eld. This implies that \klavans quot; is in fact an editor, not an author of the paper.... In PAGE 9: ...year mon day ? title + * editor id name fn ln email cite contact aid * ? ? ? ? * ? author * conf paper person id id top node eids format ? id Figure 2: A DTD graph for the DTD in Table 1. Table 3: A relational scheme (S) along with the associated data that are converted from the DTD in Table1 and XML document in Table 2 by the hybrid algorithm. Note that the hybrid algorithm does not generate semantic constraints ( ).... In PAGE 12: ...title, conf ! conf.dateg can be derived from the conf element in Table1 . This kind of EGDs can be enforced by SQL UNIQUE construct.... ..."
Cited by 46
Table 1: A DTD for Conference.
2002
"... In PAGE 4: ...heory. For instance, two EGDs: fconf ! conf.title, conf ! conf.dateg can be derived from the conf ele- ment in Table1 . This kind of EGDs can be enforced by SQL UNIQUE construct.... In PAGE 4: ... According to XML spec- i cation, XML documents can start from any level of element without necessarily specifying its parent element, when a root element is not speci ed by lt;!DOCTYPE root gt;. In the DTD in Table1 , for in- stance, the editor and date elements can have the conf element as their parent. Further, if we know that all XML documents were started at the conf element level, rather than the editor or date level, then the parent constraint feditor, dateg conf holds.... In PAGE 5: ... In computing nestA(R) at (b), the rst, third, and fourth 2Here, we only consider single attribute nesting. CREATE TABLE paper ( id NUMBER NOT NULL, title VARCHAR(50) NOT NULL, contact_aid VARCHAR(20), cite_id VARCHAR(20), cite_format VARCHAR(50) CHECK (VALUE IN ( quot;ACM quot;, quot;IEEE quot;)), root_elm VARCHAR(20) NOT NULL, parent_elm VARCHAR(20), fk_cite VARCHAR(20) CHECK (fk_cite IN (SELECT cite_id FROM paper)), fk_conf VARCHAR(20), PRIMARY KEY (id), UNIQUE (cite_id), FOREIGN KEY (fk_conf) REFERENCES conf(id), FOREIGN KEY (contact_aid) REFERENCES person(id) ); Figure 3: Final relational \schema quot; for the paper element in the Conference DTD in Table1 , generated by CPI algorithm. tuples of R agree on their values in columns (B, C) as (a, 10), while their values of the column A are all di erent.... ..."
Cited by 3
Table 1. A DTD for Conference.
2002
"... In PAGE 11: ...ry. For instance, two EGDs: fconf ! conf.title, conf ! conf.dateg can be derived from the conf el- ement in Table1 . This kind of EGDs can be enforced by SQL UNIQUE construct.... In PAGE 11: ... This is the case of the (1,1) and (1,N) mappings in the cardinality constraints. For in- stance, from the DTD in Table1 , because the conf ele- ment must contain the title and date sub-elements, the child constraint conf ftitle, dateg holds. 2.... In PAGE 11: ... According to XML specifica- tion, XML documents can start from any level of ele- ment without necessarily specifying its parent element, when a root element is not specified by lt;!DOCTYPE root gt;. In the DTD in Table1 , for instance, the ed- itor and date elements can have the conf element as their parent. Further, if we know that all XML docu- ments were started at the conf element level, rather than the editor or date level, then the parent constraint feditor, dateg conf holds.... In PAGE 12: ...3. Final relational schema for the paper element in the Conference DTD in Table1 , generated by CPI algorithm. Definition 1 (Nest).... In PAGE 25: ... We model conformance relationships explicitly, as appro- priate, for each data model of interest. Table1... In PAGE 26: ... For example, in object- oriented models, objects conform to classes, whereas in XML, elements conform to element types, and so on. Table1 . Example data model structures involved in conformance Data Model Selected structures, related by the conformance relationship Object-Oriented Objects conform to Classes.... In PAGE 26: ... E-R Entities conform to Entity Types, Relationships conform to Relationship Types, and Values conform to Value Types. Table 2 describes some of the properties of conformance that are present in the data models of Table1 . First, we con- sider how the conformance relationship is established with three possibilities: implicitly, upon request, and explicitly as shown in the first section of Table 2.... In PAGE 59: ... An XML DTD sequence structure with a cardinality constraint apply- ing to the whole structure is represented as an and-labeled arc crossing the arcs entering the involved X-class/property nodes. A description of the basic X-formalism concepts and of their graphical representation is shown in Table1 . Finally, X-formalism Graphical Description Concept representation X-class Corresponds to an element decla- ration with element content in a DTD.... In PAGE 59: ... Referenced X-class Corresponds to an element with element content in the structure of a DTD. Table1 . Basic X-formalism concepts cardinality constraints associated with properties, links, at- tributes, and referenced X-classes are explicitly represented, if different from (1; 1), as labels attached to arcs; (1; 1) is implicitly taken as a default.... In PAGE 77: ... A detailed description can be seen in [13]. Table1 . Sample of semantic clashes Different naming PostCode vs.... ..."
Table 1 Projection of Input-output coefficients under nuclear power technology Electricity sector 1987 1997 New process Adjustment 2007 2017 2027 2032
in Summary
2004
"... In PAGE 21: ...20 table containing no nuclear power technology and the 1997 table including significant nuclear power technology. Table1 gives the input structures of the electricity sector in these Input- output tables. In this exercise, we take the index of R amp;D investment as 1.... ..."
TABLE II Part Characteristic of joint
2005
Cited by 1
Table Models for Timing Simulation. In Proceedings of the 1984 Custom Integrated Circuits Conference. May, 1984. [Subramaniam 85-1 P. Subramaniam. Modeling MOS VLSI Circuits for Transient Analysis. IEEE Joumal of Solid-State Circuits vol. SC-21(2), April, 1985.
1987
Table 1. The Gestalt of the Document Ecol- ogy, Part I: Foreground
"... In PAGE 3: ... However, as the of servers and range of topics grows, both editorial Proceedings of the 33rd Hawaii International Conference on System Sciences - 2000 tion of foreground and background elements the gestalt of the Document Knowledge Ecology. Table1 presents the foreground elements of Document Management Systems. Table 1.... In PAGE 3: ...As Table1 shows, the foreground actors are responsi- ble for document creation and certification (approval)which leads to placement on one or more Intranet servers. Also part of the foreground is the everyday process of locating and reading interesting documents.... ..."
Table 2. Chloramphenicol resistance conferred by various CAT-fusion constructs
1999
"... In PAGE 4: ... Fusion of other protein domains to CAT: To confirm that our solubility assay system might work for other insoluble proteins, we cloned the genes for one soluble and two other insoluble domains into pCFN1. The levels of chloramphenicol resistance conferred by these constructs are shown in Table2 . Cells expressing the small, soluble Fyn tyrosine kinase SH3 domain fused to CAT provided chloramphenicol resistance equal to pCFN1 alone.... ..."
Results 11 - 20
of
175,091