Sciweavers

1364 search results - page 176 / 273
» Comparative Branching-Time Semantics
Sort
View
COLING
1996
15 years 5 months ago
Learning dialog act processing
In this paper we describe a new approach for learning dialog act processing. In this approach we integrate a symbolic semantic segmentation parse,: with a learning dialog act netw...
Stefan Wermter, Matthias Lochel
WCE
2007
15 years 4 months ago
Agent-Based Perception of an Environment in an Emergency Situation
Abstract—We are interested in the problem of multiagent systems development for risk detecting and emergency response in an uncertain and partially perceived environment. The eva...
Fahem Kebair, Frédéric Serin, Cyrill...
123
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
David Harel, Amir Kantor, Shahar Maoz
138
Voted
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 3 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich
122
Voted
CORR
2010
Springer
152views Education» more  CORR 2010»
15 years 3 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert