(Enter summary)
Abstract: This paper proposes the development of a semi-qualitative simulation framework
for virtual environments. Its purpose is to simulate the behavior of
complex devices and their interaction with virtual humans. We present an
object-oriented semi-qualitative language to model such system. While our
use of hierarchical finite state machines allows for the development of complex
components, we retain the expressiveness of the compositional modeling
used in qualitative physics. Using high level... (Update)
Similar documents (at the sentence level):
34.6%: Unknown - Virtual Environments Charles
(Correct)
Active bibliography (related documents): More All
0.7: Real-Time Self-Explanatory Simulation - Amador, Finkelstein, Weld (1993)
(Correct)
0.5: Concepts and Architecture of a Simulation Framework .. - Praehofer..
(Correct)
0.5: Negotiating Complex Contracts - Klein, Faratin, Sayama (2001)
(Correct)
Similar documents based on text: More All
0.1: Argumentation and Decision Making: A Position Paper - Parsons, Fox (1996)
(Correct)
0.1: Some qualitative approaches to applying the Dempster-Shafer theory - Parsons (1994)
(Correct)
0.0: Using Cellular Automata for Integrated Modelling of.. - Guy Engelen Roger
(Correct)
BibTeX entry: (Update)
@misc{ erignac-thesis,
author = "Charles A. Erignac",
title = "Thesis Topic Proposal",
url = "citeseer.ist.psu.edu/erignac99thesi.html" }
Citations (may not include all citations):
1399
Compilers : Principles (context) - Aho, Sethi et al. - 1985
782
Upper Saddle River (context) - Russel, Norvig et al. - 1995
399
The algorithmic analysis of hybrid systems
- Alur, Courcoubetis et al. - 1994
277
Qualitative process theory (context) - Forbus - 1984
211
HYTECH: A model checker for hybrid systems
- Henzinger, Ho et al. - 1997
183
Executable object modeling with statecharts
- Harel, Gery - 1996
151
The ontolingua server: A tool for collaborative ontology con..
- Farquhar, Fikes et al. - 1997
148
Rete: A fast algorithm for the many pattern/many object patt.. (context) - Forgy - 1982
131
Readings in Qualitative Reasoning About Physical Systems (context) - Weld, de Kleer - 1990
123
Qualitative Reasoning: Modeling and Simulation with Incomple.. (context) - Kuipers - 1994
118
ACM Transactions on Software Engineering and Methodology (context) - Harel, Naamad et al. - 1996
117
Compositional modeling: Finding the right model for the job
- Falkenhainer, Forbus - 1991
99
Artificial fishes: Physics (context) - Tu, Terzopoulos - 1994
85
Intelligence without representation (context) - Brooks - 1991
85
The second naive physics manifesto (context) - Hayes - 1985
83
Building Problem Solvers (context) - Forbus, de Kleer - 1993
72
Agent design pattern: Elements of agent application design (context) - Aridor, Lange - 1998
66
A methodology for agent-oriented analysis and design
- Wooldridge, Jennings et al. - 1999
56
Networked Virtual Environments - Design and Implementation (context) - Singhal, Zyda - 1999
54
Causality in device behavior (context) - Iwasaki, Simon - 1986
53
Continuous System Modeling (context) - Cellier - 1991
46
Self-explanatory simulations: An integration of qualitative .. (context) - Forbus, Falkenhainer - 1990
44
Shift programming language and run-time system for dynamic n..
- Deshpande, Gollu et al.
40
QPC: A compiler from physical models into qualitative differ..
- Crawford, Farquhar et al. - 1990
35
The qualitative process engine (context) - Forbus - 1990
34
Patterns of intelligent and mobile agents
- Kendall, Krishna et al. - 1998
34
Patterns of intelligent and mobile agents
- Kendall, MuraliKrishna et al. - 1998
25
Steve: An animated pedagogical agent for procedural training..
- Johnson, Rickel - 1997
25
Statecharts: A visual formulation for complex systems (context) - Harel - 1987
25
Self-explanatory simulations: Scaling up to large models (context) - Forbus, Falkenhainer - 1990
23
reasoning and planning for intelligent characters (context) - Funge, Tu et al. - 1999
22
An overview of hybrid simulation phenomena and their support.. (context) - Mosterman - 1999
22
A parameterized action representation for virtual human agen..
- Badler, Bindiganavale et al. - 1998
20
Recent Advances in Qualitative Physics (context) - Faltings, Struss - 1992
18
Automated formula manipulation supports object-oriented cont.. (context) - Cellier, Elmqvist - 1993
17
Fast context switching in real-time propositional reasoning
- Nayak, Williams - 1997
15
Generating explanations of device behavior using composition..
- Gautier, Gruber - 1993
15
Computer Methods for Ordinary Differential Equations and Dif.. (context) - Ascher, Petzold - 1998
15
Game AI: State of the industry (context) - Woodcock - 1999
14
Multiple representations of knowledge in a mechanics problem.. (context) - de Kleer - 1977
11
A three valued truth maintenance system (context) - McAllester - 1978
11
A webbased compositional modeling system for sharing of phys..
- Iwasaki, Farquhar et al. - 1997
9
CML: A compositional modeling language (context) - Falkenhainer, Farquhar et al. - 1994
9
Fundamentals of Numerical Computing (context) - Shampine, Allen - 1996
9
Virtual Environments and Advanced Interface Design (context) - Barfield, Furness - 1995
8
Declarative representation and procedural simulation of caus.. (context) - Rieger, Grinberg - 1977
7
A compositional modeling language
- Bobrow, Falkenhainer et al. - 1996
7
Building qualitative models of thermodynamic processes
- Collins, Forbus - 1989
7
Automated Modeling of Chemical Plants with Application to Ha.. (context) - Catino - 1993
6
Scaling up self-explanatory simulators: Polynomial-time comp.. (context) - Forbus, Falkenhainer - 1995
5
The hybrid phenomena theory (context) - Woods - 1991
5
Avatars in Networked Virtual Environments (context) - apin, Pandzic et al. - 1999
5
Formal specifications for hybrid dynamical systems (context) - Mosterman, Biswas - 1997
4
Relevance reasoning to guide compositional modeling
- Levy, Iwasaki et al. - 1992
3
Virtual Reality for Industrial Applications (context) - Dai, Hopgood et al. - 1998
2
Technical Report Technical Report (context) - Forbus, theory - 1984
2
Autonomus Agents and Multi-Agent Systems (context) - Gennings, Sycara et al. - 1998
2
how things work (context) - Berman, Derose et al. - 1993
2
Modelica TM - A Unified Object-Oriented Language for Physica.. (context) - Elmqvist - 1999
1
motionfactory (context) - Factory, www
1
Computer Graphics Research Group (context) - Reality, Toolkit
1
VIVIDS Reference Manual (context) - Munro, Pizzini
1
A language-level attack on compisitional simulation (context) - Goad - 1999
1
The consistent initialization of differentialalgebraic syste.. (context) - Pantelides - 1988
1
Qualitative Reasoning Group (context) - simulators
1
Modeling and simulation semantics for hybrid dynamic physica.. (context) - Mosterman, Biswas - 1998
1
Modelica TM - A Unified Object-Oriented Language for Physica.. (context) - Group, modelica - 1999
1
Implementation of the smartahs using shift simulation enviro..
- Kourjanski, Gollu et al. - 1997
1
Semi-qualitative simulation for virtual environments
- Erignac - 1999
1
Kelp Forest Modeling Project (context) - Brutzman - 1998
1
Reprinted in Qualitative Reasoning about Physical Systems (context) - Kuipers, Artificial - 1986
1
Naive physics manifesto I: Ontology for liquids (context) - Hayes - 1985
1
Self-explanatory simulation for an electronic encylopedia (context) - Amador - 1994
1
The qualitative process engine: A study in assumption-based .. (context) - Forbus - 1987
Documents on the same site (http://www.cis.upenn.edu/~cerignac/research/research.html):
Semi-Qualitative Simulation for Virtual Environments - Erignac (1999)
(Correct)
Unknown - Virtual Environments Charles
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC