Sciweavers

1716 search results - page 123 / 344
» Generating models for temporal representations
Sort
View
WCE
2007
15 years 5 months ago
Scenario Generation Employing Copulas
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
Kristina Sutiene, Henrikas Pranevicius
157
Voted
ACL
2009
15 years 1 months ago
Sentence diagram generation using dependency parsing
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
Elijah Mayfield
140
Voted
ATVA
2006
Springer
133views Hardware» more  ATVA 2006»
15 years 7 months ago
Branching-Time Property Preservation Between Real-Time Systems
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Co...
125
Voted
WSC
1998
15 years 5 months ago
Making Simulation more Accessible in Manufacturing Systems through a 'four phase' Approach
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie
AIPS
1994
15 years 5 months ago
Probabilistic Planning with Information Gathering and Contingent Execution
MostAI representations and algorithms for plan generation havenot included the concept of informationproducingactions (also called diagnostics, or tests, in the decision making li...
Denise Draper, Steve Hanks, Daniel S. Weld