• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 21,872
Next 10 →

Table 2. Formal Project Structure

in Understanding virtual team development: an interpretive study
by Suprateek Sarker, Sundeep Sahay 2003
"... In PAGE 8: ... Finally, UA and UB team members made a joint presentation of their entire project, including the working prototype and potential implementation challenges. Table 1 lists the participants in this project, and Table2... ..."
Cited by 9

Table 1. Ontology for formalizing organizational structure

in Formal modeling and analysis of organizations
by Egon L. Van Den Broek, Catholijn M. Jonker, Alexei Sharpanskykh, Jan Treur, Pinar Yolum 2005
"... In PAGE 4: ... The interfaces are conceptualized by the environment interaction (input and output) ontologies. These ontologies are defined using three types of predicates: to_be_observed, observation_result, and to_be_performed (see Table1 ). The internal specification for the environment can be conceptualized using one of the existing world ontologies (e.... ..."
Cited by 2

Table 2: Data structure after formalization of the architectural element information

in High precision building documentation: element definition and data structuring
by Dr. Erwin Heine 1999
Cited by 1

Table 1 In a formal way, a structure tree can be recursively defined as:

in unknown title
by unknown authors 1997
Cited by 4

Table 1 In a formal way, a structure tree can be recursively defined as:

in unknown title
by unknown authors 1997
Cited by 4

Table 1 In a formal way, a structure tree can be recursively defined as:

in Virgilio: A NonImmersive VR System To Browse Multimedia Databases
by Antonio Massari, Lorenzo Saladini 1997
Cited by 4

Table 1: Support for structure, behavior, and reconfiguration in formal specification approaches for dynamic software architectures

in Supporting Self-Management in Dynamic Software Architecture Specifications
by Jeremy S. Bradbury , James R. Cordy , Juergen Dingel , Michel Wermelinger
"... In PAGE 3: ... There are two approaches that fit this category: c2sadel [17, 21] and Rapide [14, 26]. An overview of the above mentioned approaches can be found in Table1 . A detailed survey using a running example and a compre- hensive description of each approach is given in [4].... ..."

Table 1: Support for structure, behavior, and reconfiguration in formal specification approaches for dynamic software architectures

in A Survey of Self-Management in Dynamic Software Architecture Specifications
by Jeremy S. Bradbury , James R. Cordy , Juergen Dingel , Michel Wermelinger
"... In PAGE 3: ... Two approaches discussed in this paper are in this category: c2sadel [17, 22] and Rapide [14, 26]. An overview of the above mentioned approaches can be found in Table1 . A detailed survey using a running example and a compre- hensive description of each approach is given in [4].... ..."

TABLE I COMPARISON BETWEEN TWO FORMALISMS: CPN VS. ALP ________________________________________________ CPN ALP ________________________________________________ Structure: Node function Implicit in the propagation

in Representation of Coloured Petri Net in Abductive Logic Programming (CPN-LP) and Its Application in Modeling an Intelligent Agent
by unknown authors

Table 1 summarizes the notations used to describe the news structure-based clustering method formally. A weight value for a keyword is derived by the following equations.

in PolyNews: Delivering Multiple Aspects of News to Mitigate Media Bias
by Souneil Park, Seungwoo Kang, Junehwa Song, Souneil Park, Seungwoo Kang, Junehwa Song 2006
"... In PAGE 8: ... Finally, we compute the sum of weight for each appearance to reflect the number of presences of the keyword in the article. Table1 . Notations Symbol Description A(i) i-th article in a set of news articles La(i) Length of A(i) Lp(i, j) Length of j-th paragraph in A(i) Ls(i, k) Length of k-th sentence in A(i) W(i) Set of keywords of A(i) wn n-th keyword in W(i) vn Weight value of wn Va(i) Set of keyword and its weight value pairs dPj Diminishing factor of j-th paragraph in A(i) dSk Diminishing factor of k-th sentence in A(i) Table 1 summarizes the notations used to describe the news structure-based clustering method formally.... ..."
Next 10 →
Results 1 - 10 of 21,872
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University