Sciweavers

777 search results - page 5 / 156
» The Refined Process Structure Tree
Sort
View
AAAI
2008
15 years 4 months ago
Backdoor Trees
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...
Marko Samer, Stefan Szeider
138
Voted
VMCAI
2010
Springer
15 years 11 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
COLING
1996
15 years 3 months ago
Decision Tree Learning Algorithm with Structured Attributes: Application to Verbal Case Frame Acquisition
The Decision Tree Learning Algorithms (DTLAs) are getting keen attention from the natural language processing research comlnunity, and there have been a series of attempts to appl...
Hideki Tanaka
APLAS
2004
ACM
15 years 8 months ago
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
102
Voted
EMNLP
2011
14 years 2 months ago
Structured Lexical Similarity via Convolution Kernels on Dependency Trees
Danilo Croce, Alessandro Moschitti, Roberto Basili