Sciweavers

653 search results - page 51 / 131
» Abstract Generation Based On Rhetorical Structure Extraction
Sort
View
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
14 years 11 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
AUSAI
1997
Springer
15 years 2 months ago
Generating States of Joint Commitment between Autonomous Agents
Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...
Timothy J. Norman, Nicholas R. Jennings
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
15 years 4 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...
TCIAIG
2010
14 years 4 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
CICLING
2010
Springer
14 years 6 months ago
Emotion Holder for Emotional Verbs - The Role of Subject and Syntax
Abstract. Human-like holder plays an important role in identifying actual emotion expressed in text. This paper presents a baseline followed by syntactic approach for capturing emo...
Dipankar Das, Sivaji Bandyopadhyay