Sciweavers

777 search results - page 2 / 156
» The Refined Process Structure Tree
Sort
View
ENTCS
2006
143views more  ENTCS 2006»
13 years 11 months ago
Hiproofs: A Hierarchical Notion of Proof Tree
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
Ewen Denney, John Power, Konstantinos Tourlas
CGF
2008
217views more  CGF 2008»
13 years 11 months ago
A Flexible Kernel for Adaptive Mesh Refinement on GPU
We present a flexible GPU kernel for adaptive on-the-fly refinement of meshes with arbitrary topology. By simply reserving a small amount of GPU memory to store a set of adaptive ...
Tamy Boubekeur, Christophe Schlick
ICPR
2006
IEEE
14 years 12 months ago
Adaptive Processing of Face Emotion Tree Structures
This paper describes a novel Recursive Neural Network for adaptive processing of FacE Emotion Tree Structures (FEETS). We proposed to use tree structures to represent Gabor Face E...
Jia-Jun Wong, Siu-Yeung Cho
TSD
2000
Springer
14 years 2 months ago
Automatic Functor Assignment in the Prague Dependency Treebank
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
Zdenek Zabokrtský
WEBI
2010
Springer
13 years 8 months ago
Research Interests: Their Dynamics, Structures and Applications in Web Search Refinement
For most scientists, their research interests are dynamically changing all the time. Through an analysis of research interests, we find that all the changes are with some character...
Yi Zeng, Erzhong Zhou, Yulin Qin, Ning Zhong