Sciweavers

2583 search results - page 413 / 517
» On the Representation of Timed Polyhedra
Sort
View
IPCO
2008
163views Optimization» more  IPCO 2008»
15 years 7 months ago
The Air Traffic Flow Management Problem: An Integer Optimization Approach
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
Dimitris Bertsimas, Guglielmo Lulli, Amedeo R. Odo...
LREC
2008
66views Education» more  LREC 2008»
15 years 7 months ago
Connecting Text Mining and Pathways using the PathText Resource
Many systems have been developed in the past few years to assist researchers in the discovery of knowledge published as English text, for example in the PubMed database. At the sa...
Rune Sætre, Brian Kemper, Kanae Oda, Naoaki ...
LREC
2008
113views Education» more  LREC 2008»
15 years 7 months ago
Treebank-Based Acquisition of LFG Parsing Resources for French
Motivated by the expense in time and other resources to produce hand-crafted grammars, there has been increased interest in automatically obtained wide-coverage grammars from tree...
Natalie Schluter, Josef van Genabith
IJCAI
2007
15 years 7 months ago
Compiling Bayesian Networks Using Variable Elimination
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
Mark Chavira, Adnan Darwiche
IJCAI
2007
15 years 7 months ago
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
Shin-ichi Minato, Ken Satoh, Taisuke Sato