Sciweavers

2529 search results - page 156 / 506
» The Logical Structure of Binding
Sort
View
TIME
2007
IEEE
16 years 1 months ago
Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 27 days ago
A methodology for FPGA to structured-ASIC synthesis and verification
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
Michael Hutton, Richard Yuan, Jay Schleicher, Greg...
174
Voted
DAS
2006
Springer
15 years 10 months ago
A System for Converting PDF Documents into Structured XML Format
We present in this paper a system for converting PDF legacy documents into structured XML format. This conversion system first extracts the different streams contained in PDF files...
Hervé Déjean, Jean-Luc Meunier
FORTE
2010
15 years 8 months ago
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuen...
AAAI
1997
15 years 8 months ago
Structured Solution Methods for Non-Markovian Decision Processes
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
Fahiem Bacchus, Craig Boutilier, Adam J. Grove