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

CiteSeerX logo

Advanced Search Include Citations

Tools

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

An Automatic Procedure for

by Topic-Focus Identification Eva, Petr Sgall, Hana Skoumalovfi - Computational Linguistics , 1995
"... this paper. In FGD, the correlates of function words in syntactic representations do not take the form of specific nodes in the tree. Rather, these correlates take the form of labels on edges (see the syntactic units previously illustrated) or of parts of complex labels on nodes (such as values of ..."
Abstract - Add to MetaCart
this paper. In FGD, the correlates of function words in syntactic representations do not take the form of specific nodes in the tree. Rather, these correlates take the form of labels on edges (see the syntactic units previously illustrated) or of parts of complex labels on nodes (such as values of morphological categories, e.g. Plural, Feminine, Preterite, Conditional, and semantic distinction within the individual syntactic categories of adverbial modifications, such as the meanings of the prepositions in, on, above, under with Locative)

Effective, Automatic Procedure Extraction

by Raghavan Komondoor, Susan Horwitz , 2003
"... Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure calls. Sets of statements that are noncontiguous and/or include non-local jumps (caused by gotos, breaks, continues, etc ..."
Abstract - Cited by 36 (3 self) - Add to MetaCart
Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure calls. Sets of statements that are noncontiguous and/or include non-local jumps (caused by gotos, breaks, continues

An Automatic Procedure Rocco Furferi*

by Lapo Governi, Matteo Palai, Yary Volpe
"... Three-dimensional CAD models are usually used by designers because of their multiple uses (visualization, simulation, machining). However, nowadays, multi orthographic view engineering drawings are still widely used. Accordingly, a conversion tool for obtaining 3D CAD models from 2D drawings (known ..."
Abstract - Add to MetaCart
number of authors and rearranging them into an orderly, unambiguous and automatic procedure, is to provide a tool to help researchers and practitioners who want to deal with the reconstruction problem. In detail the authors propose a systematic tool that allows the reconstruction of a 3D pseudo

Automatic procedures in tectogrammatical tagging

by Alena Böhmová, Petr Sgall - The Prague Bulletin of Mathematical Linguistics , 2001
"... This paper describes a specific part of the Prague Dependency Treebank annotation, the step from the surface dependency structure towards the underlying representation of the sentence. The first section explains the theoretical basis of the project. In Section 2 all the procedure of conversion to th ..."
Abstract - Cited by 10 (0 self) - Add to MetaCart
This paper describes a specific part of the Prague Dependency Treebank annotation, the step from the surface dependency structure towards the underlying representation of the sentence. The first section explains the theoretical basis of the project. In Section 2 all the procedure of conversion

Automatic procedures for protein design

by Alfonso Jaramillo, Lorenz Wernisch, Stephanie Héry, Shoshana J. Wodak - Comb. Chem. High Throughput Screen , 2001
"... Abstract: This review describes computational procedures for deriving the amino acid sequences that are compatible with a given protein backbone structure. Such procedures can be used to gain insight into the constraints imposed by the 3D structure of the protein sequence, or to design proteins that ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
Abstract: This review describes computational procedures for deriving the amino acid sequences that are compatible with a given protein backbone structure. Such procedures can be used to gain insight into the constraints imposed by the 3D structure of the protein sequence, or to design proteins

Toward an instance theory of automatization

by Gordon D. Logan - Psychological Review , 1988
"... This article presents a theory in which automatization is construed as the acquisition of a domain-specific knowledge base, formed of separate representations, instances, of each exposure to the task. Processing is considered automatic if it relies on retrieval of stored instances, which will occur ..."
Abstract - Cited by 647 (38 self) - Add to MetaCart
; Harter, 1899). Skills are thought to consist largely of collections of automatic processes and procedures

Term-weighting approaches in automatic text retrieval

by Gerard Salton, Christopher Buckley - INFORMATION PROCESSING AND MANAGEMENT , 1988
"... The experimental evidence accumulated over the past 20 years indicates that text indexing systems based on the assignment of appropriately weighted single terms produce retrieval results that are superior to those obtainable with other more elaborate text representations. These results depend crucia ..."
Abstract - Cited by 2189 (10 self) - Add to MetaCart
crucially on the choice of effective term-weighting systems. This article summarizes the insights gained in automatic term weighting, and provides baseline single-term-indexing models with which other more elaborate content analysis procedures can be compared.

Automatic verification of finite-state concurrent systems using temporal logic specifications

by E. M. Clarke, E. A. Emerson, A. P. Sistla - ACM Transactions on Programming Languages and Systems , 1986
"... We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algorithm has complexity linear in both the size of the specification and the size of the global state graph for the concurrent ..."
Abstract - Cited by 1388 (62 self) - Add to MetaCart
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algorithm has complexity linear in both the size of the specification and the size of the global state graph for the concurrent

Automaticity of social behavior: Direct effects of trait construct and stereotype activation on action

by John A. Bargh, Mark Chen, Lara Burrows - Journal of Personality and Social Psychology , 1996
"... Previous research has shown that trait concepts and stereotypes become active automatically in the presence of relevant behavior or stereotyped-group features. Through the use of the same priming procedures as in previous impression formation research, Experiment l showed that participants whose con ..."
Abstract - Cited by 584 (18 self) - Add to MetaCart
Previous research has shown that trait concepts and stereotypes become active automatically in the presence of relevant behavior or stereotyped-group features. Through the use of the same priming procedures as in previous impression formation research, Experiment l showed that participants whose

An Automatic Procedure for Force Controller Design

by Ciro Natale, Ralf Koeppe - DLR Oberpfaffenhofen, Institute Report, IB , 1999
"... this technical report is to provide a simple and efficient software tool for implementing a force controller on an industrial robot with position interface. The starting point of the design procedure is that the specifications, which the design is based on, can be provided by the robot's user w ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
this technical report is to provide a simple and efficient software tool for implementing a force controller on an industrial robot with position interface. The starting point of the design procedure is that the specifications, which the design is based on, can be provided by the robot's user
Next 10 →
Results 1 - 10 of 8,337
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