Sciweavers

102 search results - page 5 / 21
» A Hybrid Approach To The Automatic Planning Of Textual Struc...
Sort
View
ASE
2006
122views more  ASE 2006»
15 years 1 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
JBI
2006
119views Bioinformatics» more  JBI 2006»
15 years 1 months ago
Automatic generation of spoken dialogue from medical plans and ontologies
This paper presents some research undertaken as part of the EU-funded HOMEY project, into the application of intelligent dialogue systems to healthcare systems. The work presented...
Martin Beveridge, John Fox
89
Voted
CHI
2006
ACM
16 years 2 months ago
An interactive speech interface for summarizing agile project planning meetings
In this paper we present an autonomous meeting summarizer that transcribes an agile planning meeting and produces a textual summary of the discussion. We explore the issues involv...
Shelly Park, Jörg Denzinger, Frank Maurer, Eh...
UAI
2004
15 years 3 months ago
Solving Factored MDPs with Continuous and Discrete Variables
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
Carlos Guestrin, Milos Hauskrecht, Branislav Kveto...
94
Voted
MODELS
2007
Springer
15 years 8 months ago
Statechart Development Beyond WYSIWYG
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
Steffen Prochnow, Reinhard von Hanxleden