• PHiPAC

  • Referenced in 53 articles [sw04898]
  • removal of unnecessary dependencies in code blocks (if not removed, C semantics would prohibit many...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • include: approximated dependency graph, argument filtering, bounds, dependency pair method, Knuth-Bendix order, lexicographic path ... interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling, simple projection and subterm criterion, uncurrying...
  • GF

  • Referenced in 34 articles [sw13667]
  • uses dependent types in abstract syntax to express semantic conditions, such as well-typedness...
  • TopicRNN

  • Referenced in 3 articles [sw36211]
  • Recurrent Neural Network with Long-Range Semantic Dependency. In this paper, we propose TopicRNN ... model designed to directly capture the global semantic meaning relating words in a document ... dependencies. Intuitively, these long-range dependencies are of semantic nature. In contrast, latent topic models ... dependencies using an RNN and global (semantic) dependencies using latent topics. Unlike previous work...
  • CNN-RNN

  • Referenced in 8 articles [sw28401]
  • well, fail to explicitly exploit the label dependencies in an image. In this paper ... image-label embedding to characterize the semantic label dependency as well as the image-label...
  • FASTUS

  • Referenced in 3 articles [sw17362]
  • domain-independent syntax, so that domain-dependent semantic and pragmatic processing can be applied...
  • subgraph2vec

  • Referenced in 4 articles [sw36496]
  • Graph Kernels. These latent representations encode semantic substructure dependencies in a continuous vector space, which...
  • TORPA

  • Referenced in 10 articles [sw10120]
  • underlying techniques include semantic labelling, polynomial interpretations, recursive path order, the dependency pair method...
  • MURBANDY

  • Referenced in 1 article [sw00608]
  • same time visualizes the semantic dependencies between them and other search attributes. The generic version...
  • pipes

  • Referenced in 2 articles [sw13660]
  • small and compiles very rapidly, including dependencies; Elegant semantics: Use practical category theory; ListT: Correct...
  • CodeSurfer

  • Referenced in 8 articles [sw16480]
  • indirect relationships, or dependences, within your source code. These are the semantic threads that reveal...
  • CPoint

  • Referenced in 4 articles [sw29398]
  • knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard...
  • INDUS

  • Referenced in 2 articles [sw10500]
  • with the data sources and reconciling the semantic differences among the data sources from ... This allows user or context-dependent exploration of semantically heterogeneous data sources. The resulting algorithms...
  • Tukra

  • Referenced in 1 article [sw21419]
  • exploits the notions of statement relevancy, semantic data dependences and conditional dependences. The combination...
  • SMGLoM

  • Referenced in 2 articles [sw27591]
  • Mathematics” (in multiple languages) with semantic information about their dependencies. Multiple services can be derived...
  • YAKKER

  • Referenced in 2 articles [sw17046]
  • Semantics and algorithms for data-dependent grammars. We present the design and theory ... abstraction properties in the presence of data-dependent parsing. Finally, (6) legacy parsing libraries,such ... contributions, we provide a traditional high-level semantics for our new grammar formalization and show ... also equipped with environments to track data-dependent parsing state. We prove the correctness...
  • HARP

  • Referenced in 16 articles [sw26323]
  • rapidly detect certain types of nontheorems. Domain-dependent heuristics can be used to implement specific ... easy to let extralogical information, e.g. semantic and world knowledge, guide the search for proofs...
  • PAG

  • Referenced in 21 articles [sw00669]
  • efficiency increasing program transformations. These transformations usually depend on preceding program analyses. These analyses, known ... Abstract interpretation provides the relation to the semantics of the language and allows the systematic...
  • Genoviz

  • Referenced in 2 articles [sw17304]
  • support for adaptive, semantic zooming, whereby objects change their appearance depending on zoom level...
  • MBase

  • Referenced in 17 articles [sw08724]
  • formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts ... developing a sorted record-λ-calculus with dependent sorts and labeled abstraction that is well...