See this document in CiteSeerX!

Thesis Topic Proposal (1999)  (Make Corrections)  
Charles A. Erignac



  Home/Search   Context   Related

 
View or download:
upenn.edu/~cerignac/re...proposal.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  upenn.edu/~cerignac/re...research (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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