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»
13 years 10 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»
13 years 9 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
CHI
2006
ACM
14 years 10 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
13 years 11 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...
MODELS
2007
Springer
14 years 3 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