IDA publicerade artiklar, kategori X, under: 1998

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Tidskrift: 
Årtal: *
Volym: *
Sidnr: *
Rubrik: Computational Aspects of Reordering Plans.
Huvudförfattarens förnamn: Christer
Huvudförfattarens efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Accepted for presentation at EASE'98.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A comparison between software design and code metrics for the prediction of sof  tware fault content.
Huvudförfattarens förnamn: M.
Huvudförfattarens efternamn: Zhao
Medförf 1 förnamn: Claes
Medförf 1 efternamn: Wohlin
Medförf 2 förnamn: Niclas
Medförf 2 efternamn: Ohlsson
Medförf 3 förnamn: M.
Medförf 3 efternamn: Xie
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Tidskrift: Artificial Intelligence
Årtal: *
Volym: 102
Sidnr:  143-155
Rubrik: A Unifying Approach to Temporal Constraint Reasoning.
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Christer
Medförf 1 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Tidskrift: 
Årtal: *
Volym: *
Sidnr: *
Rubrik: Efficient Planning for a Miniature Assembly Line.
Huvudförfattarens förnamn: Inger
Huvudförfattarens efternamn: Klein
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
Medförf 2 förnamn: Christer
Medförf 2 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Konferens: 
Årtal: 1998
Volym: *
Sidnr: *
Rubrik: Tactical Evaluation of New Military Systems Using Distributed Modelling and Simulation
Huvudförfattarens förnamn: Johan
Huvudförfattarens efternamn: Jenvald
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings of the IEEE WET-ICE International Workshop on Enterprise Security, pp. 299-304, Cambridge, MA, USA, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Using NFS to implement role-based access control
Huvudförfattarens förnamn: Mats
Huvudförfattarens efternamn: Gustafsson
Medförf 1 förnamn: Benoit
Medförf 1 efternamn: Deligny
Medförf 2 förnamn: Nahid
Medförf 2 efternamn: Shahmehri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Tidskrift: Signal Processing
Årtal: *
Volym: *
Sidnr: *
Rubrik: The Complexity of Vision
Huvudförfattarens förnamn: Gösta
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Konferens: SSAB Symposium on Image Analysis
Årtal: *
Volym: *
Sidnr: *
Rubrik: WITAS Project at Computer Vision laboratory - A status report
Huvudförfattarens förnamn: Thord
Huvudförfattarens efternamn: Andersson
Medförf 1 förnamn: Gösta
Medförf 1 efternamn: Granlund
Medförf 2 förnamn: Gunnar
Medförf 2 efternamn: Farnebäck
Medförf 3 förnamn: Klas
Medförf 3 efternamn: Norberg
Medförf 4 förnamn: Johan
Medförf 4 efternamn: Wiklund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Accepted for publication in Dagstuhl-Seminar-Report; 196, Germany, December 8-12, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance
Huvudförfattarens förnamn: Silvia
Huvudförfattarens efternamn: Coradeschi
Medförf 1 förnamn: Klas
Medförf 1 efternamn: Nordberg
Medförf 2 förnamn: Lars
Medförf 2 efternamn: Karlsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Accepted for publication in Springer/Physica Verlag (Berlin, Heildelberg, New Your), 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Advances in Fuzzy Control
Huvudförfattarens förnamn: R
Huvudförfattarens efternamn: Palm
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Publised in Fuzzy Logic Control: Advances in Methodology, Springer Verlag, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Fuzzy gain scheduling
Huvudförfattarens förnamn: Dimiter
Huvudförfattarens efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Konferens: 
Årtal: 1997
Volym: *
Sidnr: *
Rubrik: RoboCup Synthetic Agent Challenge 97
Huvudförfattarens förnamn: H
Huvudförfattarens efternamn: Kitano
Medförf 1 förnamn: M
Medförf 1 efternamn: Tambe
Medförf 2 förnamn: P
Medförf 2 efternamn: Stone
Medförf 3 förnamn: M
Medförf 3 efternamn: Veloso
Medförf 4 förnamn: Silvia
Medförf 4 efternamn: Coradeschi
Medförf 5 förnamn: E
Medförf 5 efternamn: Osawa
Medförf 6 förnamn: H
Medförf 6 efternamn: Matsubara
Medförf 6 förnamn: I
Medförf 6 efternamn: Noda
Medförf 6 förnamn: M
Medförf 6 efternamn: Asada
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Konferens: 
Årtal: 1997
Volym: *
Sidnr: 317-322
Rubrik: Using fuzzy logic for bounded recovery in autonomous agents
Huvudförfattarens förnamn: J
Huvudförfattarens efternamn: Grantner
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
Medförf 2 förnamn: G
Medförf 2 efternamn: Fodor
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Accepted for publication in Kluwer Academic Publication, Boston/Dordrecht/London, 1977.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Ontologically Controlled Autonomous Systems
Huvudförfattarens förnamn: G
Huvudförfattarens efternamn: Fodor
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Konferens: 
Årtal: 1997
Volym: *
Sidnr: 427-432
Rubrik: On the reactive limits of autonomous agents
Huvudförfattarens förnamn: G
Huvudförfattarens efternamn: Fodor
Medförf 1 förnamn: J L
Medförf 1 efternamn: Grantner
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: *
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Fuzzy Model Identification: Selected approaches, Edited Volume, Springer Verlag (Berlin, Heildelberg, New York), 1997.
Huvudförfattarens förnamn: H
Huvudförfattarens efternamn: Hellendoorn
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Konferens: 
Årtal: 1997
Volym: *
Sidnr: 177-183
Rubrik: Stability of fuzzy gain schedulers: a sliding-mode based analysis
Huvudförfattarens förnamn: R
Huvudförfattarens efternamn: Palm
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Konferens: 
Årtal: 1997
Volym: *
Sidnr: 555-560
Rubrik: Improving the global performance of a fuzzy gain scheduler by supervision
Huvudförfattarens förnamn: R
Huvudförfattarens efternamn: Palm
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Referens: Published in Meas. Sci. Technology, vol. 8, pp. 138-146, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An air quality sensor system with fuzzy classification
Huvudförfattarens förnamn: P
Huvudförfattarens efternamn: Wide
Medförf 1 förnamn: F
Medförf 1 efternamn: Winquist
Medförf 2 förnamn: Dimiter
Medförf 2 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (liblab)
Referens: Keynote paper presented at the 34th Annual Clinic on Library Applications of Data Processin, "Visualizing Subject Access for 21st Century Information Resources". Beckman Inst. for Advanced Science and Technology, University of Illinois at Urbana-Champaign. March 2-4, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Hypostatizing Data Collections, Especially Bibliographic: Abstractions, Representations, Sensualizations, Adaptations/personalizations..
Huvudförfattarens förnamn: Roland
Huvudförfattarens efternamn: Hjerppe
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: In the proceedings from the workshop on constituent order ("Ledstillingsfestival"), Handelshoejskole Syd, Kolding, September 8, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Positions vs. precedences as primitives of constituent order
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Published in Svenska i IT-samhället, Ord och stil, Hallgren & Fallgren, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Språkliga effekter av översättningssystem
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
Medförf 1 förnamn: Marnus
Medförf 1 efternamn: Merkel
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Publised in Natural Language Engineering, pp. 103-122, Cambridge University Press, September 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Model for Habitable and Efficient Dialogue Management for Natural Language Interaction
Huvudförfattarens förnamn: Arne
Huvudförfattarens efternamn: Jönsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Accepted in the proceedings of EuroSpeech-97, Rhodos, Greece, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integrating Domain Specific Focusing in Dialogue Models
Huvudförfattarens förnamn: Nils
Huvudförfattarens efternamn: Dahlbäck
Medförf 1 förnamn: Arne
Medförf 1 efternamn: Jönsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Dialogue Processing in Spoken Language Sysmtems in Springer Verlag Series LNAI-Lecture Notes in Artificial Intelligence 1236, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards a Dialogue Taxonomy
Huvudförfattarens förnamn: Nils
Huvudförfattarens efternamn: Dahlbäck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Paper presented at the CHI'97 Workshop on Navigation in Electronic Worlds, Atlanta, Ga, March 23-24, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Designing Navigational Aids for Individuals
Huvudförfattarens förnamn: Kristina
Huvudförfattarens efternamn: Höök
Medförf 1 förnamn: Nils
Medförf 1 efternamn: Dahlbäck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (Pelab)
Konferens: 
Årtal: 1998
Volym: *
Sidnr: *
Rubrik: Generating a Modelica Compiler from Natural Semantics Specifications
Huvudförfattarens förnamn: David
Huvudförfattarens efternamn: Kågeda
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Accepted for publication in Empirical Software Engineering.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Extended Replication of an Experiment for Assessin Methods for Software Requirements Inspections
Huvudförfattarens förnamn: Kristian
Huvudförfattarens efternamn: Sandahl
Medförf 1 förnamn: Ola
Medförf 1 efternamn: Blomkvist
Medförf 2 förnamn: Joachim
Medförf 2 efternamn: Karlsson
Medförf 3 förnamn: Christian
Medförf 3 efternamn: Krysander
Medförf 4 förnamn: Mikael
Medförf 4 efternamn: Lindvall
Medförf 5 förnamn: Niclas
Medförf 5 efternamn: Ohlsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Journal of Electronic Testing: Theory and Application, December, 1998, Kluwer Academic Publishers.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Incremental Testability Analysis for Partial Scan Selection and Design Transformations
Huvudförfattarens förnamn: Tianruo
Huvudförfattarens efternamn: Yang
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (actlab)
Referens: In Proceedings of the Second IASTED International Conference on Parallel and Distributed Computing and Networks, pp. 113-119, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Parallel Algorithms for Searching Monotone Matrices on Coarse Grained Multicomputers
Huvudförfattarens förnamn: Per-Olof
Huvudförfattarens efternamn: Fjallstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Accepted for presentation at the International Conference on Vision Systems (ICVS).
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of vision and decision making in an autonomous airbone vehicle for traffic surveillance
Huvudförfattarens förnamn: Silvia
Huvudförfattarens efternamn: Coradeschi
Medförf 1 förnamn: Lars
Medförf 1 efternamn: Karlsson
Medförf 2 förnamn: Klas
Medförf 2 efternamn: Nordberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Accepted for presentation at the 1998 Pacific Northwest Software Quality Conference, October 12-15, 1998, Oregon, USA.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Improved Software Quality by Adopting Control Charts
Huvudförfattarens förnamn: Anders
Huvudförfattarens efternamn: Subotic
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Presented at the JELIA-98 conference, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Sandewall
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Presented at the 9th World Congress of Psychophysiology in Taormina, Sicily.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Levels of intention and control links among levels
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Skarman
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Proceedings of the Verklighet och Vision, First Conference on University Pedagogy, Rapport 1997:1, University of Linköping, November 1997. In Swedish.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Interaktionsdesign - Att Lära i Studioform
Huvudförfattarens förnamn: Stefan
Huvudförfattarens efternamn: Holmlid
Medförf 1 förnamn: Mikael
Medförf 1 efternamn: Ericsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Accepted to the Thirty-Second Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Task-Oriented Restructuring of an Application Domain: A Multi-Agent Architecture for Doing Things in Internet E-mail
Huvudförfattarens förnamn: Juha
Huvudförfattarens efternamn: Takkinen
Medförf 1 förnamn: Nahid
Medförf 1 efternamn: Shahmehri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at the Language/Action Perspective International Workshop on Communication Modeling, 1997, Tilburg, The Netherlands.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The Six Phases of Business Processes - Further Development of Business Action Theory
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at the 5th Annual Conference on Methodologies - Training and Education of Methodology Practitioners and Researchers, August 27-28, 1997, The British Computer Society, Preston.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Method Integration as a Learning Process
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Goldkuhl
Medförf 1 förnamn: M
Medförf 1 efternamn: Lind
Medförf 2 förnamn: U
Medförf 2 efternamn: Seigerroth
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at the 2nd International Workshop on Language/Action Perspective (LAP'97), June 9-10, 1997, Veldhoven.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reconstruction of Different Business Processes - A Theory and Method Driven Analysis
Huvudförfattarens förnamn: M
Huvudförfattarens efternamn: Lind
Medförf 1 förnamn: Göran
Medförf 1 efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Accepted for publication for AMAST98 (7th International Conference on Algebraic Methodology and Software Technology.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Type Analysis for CHIP
Huvudförfattarens förnamn: W.
Huvudförfattarens efternamn: Drabent
Medförf 1 förnamn: P.
Medförf 1 efternamn: Pietrzak
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Accepted for publication in Journal of Logic and Computation.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about Concurrent Interaction
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: Joakim
Medförf 1 efternamn: Gustafsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Accepted for publication in the proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, December 2-4, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Detailed Design of Avionics Control Software
Huvudförfattarens förnamn: Ulf
Huvudförfattarens efternamn: Nilsson
Medförf 1 förnamn: Siwert
Medförf 1 efternamn: Streiffert
Medförf 2 förnamn: Anders
Medförf 2 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Accepted by Theoretical Computer Science.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Boolean Constraint Satisfaction: Complexity Results for Optimization Problems with Arbitrary Weights
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: To be submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Golog and ontological control - model faults in a modelbased programming language: Detection, classification, and recovery
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: To be submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Stability, stabilizability, and golog
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Patrik
Medförf 1 efternamn: Haslum
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TALPLAN, A temporal logic based approach to planning: Preliminary report
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jonas
Medförf 1 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Referens: Accepted in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesis of control software in a generic architecture from hybrid automata
Huvudförfattarens förnamn: Man
Huvudförfattarens efternamn: Lin
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Accepted in proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about action in polynomial time
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Referens: Accepted in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesizing discrete controllers from hybrid automata - preliminary report
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Accepted for publication in Journal of Logic and Computation, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Declarative PTIME queries to relational databases
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Witold
Medförf 1 efternamn: Lukaszewicz
Medförf 2 förnamn: A.
Medförf 2 efternamn: Szalas
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Accepted for publication in Journal of Automated Reasoning, 18:297-336, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Computing circumscription revisited: A reduction algorith
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Witold
Medförf 1 efternamn: Lukaszewicz
Medförf 2 förnamn: A.
Medförf 2 efternamn: Szalas
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab witas)
Referens: Presented at Workshop on Object-oriented software architectures at ECOOP'98, Brussels, July 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Runtime Support for Dynamic Java Architectures
Huvudförfattarens förnamn: Jesper
Huvudförfattarens efternamn: Andersson
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Comstedt
Medförf 2 förnamn: Tobias
Medförf 2 efternamn: Ritzau
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab witas)
Referens: Invited talk at JAOO (European Conference on Java(TM) and Object Orientation) in Copenhagen, Denmark, August 31 - September 2, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Component-based design by connection diagrams and JavaBeans
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab witas)
Referens: In proceedings of the 2nd International Mathematica symposium, Rovaniemi, Finland, pp. 153-160, June 29 - July 4, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Static and Strong Typing for extended Mathematica
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: Accepted in the proceedings of the SSAB Symposium on Image Analysis 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: WITAS Project at Computer Vision laboratory - A status report
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Andersson
Medförf 1 förnamn: Gösta
Medförf 1 efternamn: Granlund
Medförf 2 förnamn: G.
Medförf 2 efternamn: Farnebäck
Medförf 3 förnamn: K.
Medförf 3 efternamn: Nordberg
Medförf 4 förnamn: J.
Medförf 4 efternamn: Wiklund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab witas)
Referens: Accepted in the proceedings of ICVS'99, Grand Canaria, January 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of vision and decision-making in an airborne autonomous vehicle for traffic surveillance
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: Silvia
Medförf 1 efternamn: Coradeschi
Medförf 2 förnamn: K.
Medförf 2 efternamn: Nordberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: Submitted to SCIA'99, Kangerlussuaq, Greenland, June 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Unified Approach for Bases, Frames, Subspace Bases, and Subspace Frames
Huvudförfattarens förnamn: G.
Huvudförfattarens efternamn: Farnebäck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: Submitted to SCIA'99, Kangerlussuaq, Greenland, June 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Does Vision Inevitably have to be Active?
Huvudförfattarens förnamn: Gösta
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: Invited paper, accepted for publication in Signal Processing, Elsevier. Special issue on Complex systems, appearing in March 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The Complexity of Vision
Huvudförfattarens förnamn: Gösta
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: Accepted in the proceedings of the SSAB Symposium on Image Analysis 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: If I had a fisheye I would not need SO(1,n) or, Is hyperbolic geometry useful in image processing?
Huvudförfattarens förnamn: R.
Huvudförfattarens efternamn: Lenz
Medförf 1 förnamn: Gösta
Medförf 1 efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (witas)
Referens: To be published in Springer Verlag Lecture Notes in Artificial Intelligence, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integrated Percept-Response Structures 
Huvudförfattarens förnamn: Gösta
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (cadlab witas)
Referens: Accepted to Design, Automation and Test in Europe Conference, DATE'99, March 9-12, 1999, Munich, Germany.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints
Huvudförfattarens förnamn: Krzysztof
Huvudförfattarens efternamn: Kuchcinski
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Accepted for publication for the AAAI Spring Symposium on Adjustable Autonomy, Stanford University, March 22-24, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Approach to Directing Intelligent Agents in Real-Time
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy
Medförf 1 efternamn: Reed
Medförf 2 förnamn: Anders
Medförf 2 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Accepted to HSCC'99 Second International Workshop of HYBRID SYSTEMS: COMPUTATION AND CONTROL, March 29-31, Nijmegen, The Netherlands.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesis of control software in a generic architecture from hybrid automata 
Huvudförfattarens förnamn: Man
Huvudförfattarens efternamn: Lin
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Accepted to HSCC'99 Second International Workshop of HYBRID SYSTEMS: COMPUTATION AND CONTROL, March 29-31, Nijmegen, The Netherlands.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Intregration of Analog and Discrete Synchronous Design
Huvudförfattarens förnamn: Simin
Huvudförfattarens efternamn: Nadjm-Tehrani
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in Linköping electronic articles in computer and information science, Vol. 3(1998), nr. 3.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Elektroniskt kunskapstöd för arbetsterapeuter
Huvudförfattarens förnamn: Birgitta
Huvudförfattarens efternamn: Svensson
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: Niklas
Medförf 2 efternamn: Hallberg
Medförf 3 förnamn: M.
Medförf 3 efternamn: Carlsson
Medförf 4 förnamn: Mikael
Medförf 4 efternamn: Johansson
Medförf 5 förnamn: Vivian
Medförf 5 efternamn: Vimarlund
Medförf 6 förnamn: I.
Medförf 6 efternamn: Nilsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in American Journal Rinol 1998, Vol. 12, pp. 159-165.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Interobserver variations in assessment of antral disease from direct sinoscopic observations compared to video recordings.
Huvudförfattarens förnamn: V.
Huvudförfattarens efternamn: Westergren
Medförf 1 förnamn: L.
Medförf 1 efternamn: Lundblad
Medförf 2 förnamn: Toomas
Medförf 2 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in Acta Orthop. Scand. 1998, Vol. 69, pp. 408-411.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Pain drawing evaluation - the problem with the clinically biased surgeon
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Reigo
Medförf 1 förnamn: H.
Medförf 1 efternamn: Tropp
Medförf 2 förnamn: Toomas
Medförf 2 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Published in Mixed Design of Integrated Circuits and Systems, Kluwer Academic Publishers, pp. 131-136, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Hierarchical Test Generation for Digital Systems 
Huvudförfattarens förnamn: M.
Huvudförfattarens efternamn: Brik
Medförf 1 förnamn: G.
Medförf 1 efternamn: Jervan
Medförf 2 förnamn: A.
Medförf 2 efternamn: Markus
Medförf 3 förnamn: P.
Medförf 3 efternamn: Paomets
Medförf 4 förnamn: J.
Medförf 4 efternamn: Raik
Medförf 5 förnamn: R.
Medförf 5 efternamn: Ubar
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edlab)
Referens: Proceedings of the BEC'98 Conference, Tallin, Estonia, Oct. 7-9, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Decisio Diagram based Hierarchical Test Generator
Huvudförfattarens förnamn: G.
Huvudförfattarens efternamn: Jervan
Medförf 1 förnamn: A.
Medförf 1 efternamn: Markus
Medförf 2 förnamn: J.
Medförf 2 efternamn: Raik
Medförf 3 förnamn: R.
Medförf 3 efternamn: Ubar
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (actlab)
Referens: Published in Linkoping Electronic Articles in Computer and Information Science, Vol. 3(1998), no. 10.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Algorithms for Graph Partitioning: A Survey
Huvudförfattarens förnamn: Per-Olof
Huvudförfattarens efternamn: Fjallstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Presented at Visuellt Forum, Mälardalens Högskolan, Eskilstuna, November 11-12, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Interaction with social agents through micro interfaces
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Kindborg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Accepted for publication in Third International Conference on Autonomous Agents (Agents'99), ACM Sigart and AAAI, Seattle, WA, May 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Adapting an Agent to a Similar Environment
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy E.
Medförf 1 efternamn: Reed
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submited for publication in Linköping Electronic Articles in Computer and Information Science, 3(15), September 30, 1998, Submitted to Electronic Transactions on Artificial Intelligence. http://www.ep.liu.se/ea/cis/1998/015/.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TAL:Temporal action logics, language specification and tutorial
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Joakim
Medförf 1 efternamn: Gustafsson
Medförf 2 förnamn: Lars
Medförf 2 efternamn: Karlsson
Medförf 3 förnamn: Jonas
Medförf 3 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TALPLAN, A Narrative  Temporal Logic Based Forward Chaining Planner
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jonas
Medförf 1 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jonas
Medförf 1 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Stable Situation Calculus Theories and Stabilizing GOLOG Programs
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Patrik
Medförf 1 efternamn: Haslum
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Recovering from Modeling Faults in GOLOG
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Expressive Reasoning about Action in Nondeterministic Polynomial Time
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Submitted to IJCAI'99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about Action and Change Object Orientedly
Huvudförfattarens förnamn: Joakim
Huvudförfattarens efternamn: Gustafsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Printed in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesizing discrete controllers from hybrid automata - preliminary report
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (actlab)
Referens: Linköping Electronic Articles in Computer and Information Science, Vol. 2(1997), no. 7.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Batched Range Searching on a Mesh-Connected SIMD Computer
Huvudförfattarens förnamn: Per-Olof
Huvudförfattarens efternamn: Fjallstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (actlab)
Referens: Linköping Electornic Articles in Computer and Information Science, Vol. 3(1998), no. 6.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Parallel Algorithms for Searching Monotone Matrices on Coarse Grained Multicomputers
Huvudförfattarens förnamn: Per-Olof
Huvudförfattarens efternamn: Fjallstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: In the Proceedings of the IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics, vol. 27, pp. 250-255, April. 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Exploration of Polygonal Environments using Range Data
Huvudförfattarens förnamn: A.
Huvudförfattarens efternamn: Ekman
Medförf 1 förnamn: Anders
Medförf 1 efternamn: Törne
Medförf 2 förnamn: D.
Medförf 2 efternamn: Strömberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Accepted for publication in Third International Conference on Autonomous Agents (Agents'99), (Seattle, WA, USA), ACM Sigard and AAAI, May 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Adapting an Agent to a Similar Environment
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy E.
Medförf 1 efternamn: Reed
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: In Mathematics and Computers in Simulation, pp. 495-504, Dec. 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Parallel Solution of Modular ODE's with Application to Rolling Bearing Dynamics
Huvudförfattarens förnamn: P.
Huvudförfattarens efternamn: Nordling
Medförf 1 förnamn: A.
Medförf 1 efternamn: Sjö
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: In International Journal of Supercomputer Applications and High Performance Computing, no. 4, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Rolling Bearing Simulation on MIMD Computers
Huvudförfattarens förnamn: Dag
Huvudförfattarens efternamn: Fritzson
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Fritzson
Medförf 2 förnamn: P.
Medförf 2 efternamn: Nordling
Medförf 3 förnamn: T.
Medförf 3 efternamn: Persson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Presented at the Third International Workshop on Automated Debugging, AADEBUG'97, Linköping, Sweden, May 26-27, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The Design of a Test Case Definition
Huvudförfattarens förnamn: David
Huvudförfattarens efternamn: Byers
Medförf 1 förnamn: Magnus
Medförf 1 efternamn: Engström
Medförf 2 förnamn: Mariam
Medförf 2 efternamn: Kamkar
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: In Proceedings ofthe International Conference on Audio-Visual Speech Processin ( AVSP'98), Terrigal, Australia, December 4-6, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Lip movements in non-focal and focal position for visual speech synthesis
Huvudförfattarens förnamn: Å.
Huvudförfattarens efternamn: Hällberg
Medförf 1 förnamn: Bertil
Medförf 1 efternamn: Lyberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: In Proceedings of the International Conference on Audio-Visual Speech Processin ( AVSP'98), Terrigal, Australia, December 4-6, 1998. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Visual speech synthesis with concatenative speech
Huvudförfattarens förnamn: Å.
Huvudförfattarens efternamn: Hällberg
Medförf 1 förnamn: Bertil
Medförf 1 efternamn: Lyberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Published in Linköping Electronic Press, Vol. 3, Nr. 19, Dec. 8th, 1998.(Abstract)
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Multi-database Access from Amos II using ODBC
Huvudförfattarens förnamn: Silvio
Huvudförfattarens efternamn: Brandani:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Published in Linköping Electronic Press, Vol. 3, Nr. 4, Feb. 17th, 1998. (Abstract.)
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Study of Supporting Sequences in DBMSs -- Data Model, Query Language, and Storage Management 
Huvudförfattarens förnamn: Ling
Huvudförfattarens efternamn: Lin:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Accepted for publication at the 7th International Workshop on Hardware/Software Codesign held in Rome, Italy, May 3-5, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Scheduling with Optimized Communication for Time-Triggered Embedded Systems
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Pop
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: In Proceedings of ECCE-9, 9th European Conference on Cognitive Ergonomics, Ireland, August 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Team Situation Awareness using Graphical or Textual Databases in Dynamic Decision Making
Huvudförfattarens förnamn: H.
Huvudförfattarens efternamn: Artman
Medförf 1 förnamn: Rego
Medförf 1 efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: In Proceedings of Websim'99, International Conference on Web-based modeling and simulation, San Francisco, USA, January 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Web-based Micro-world Simulation for Emergency Management Training
Huvudförfattarens förnamn: Rego
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Expressive Reasoning about Action in Nondeterministic Polynomial Time
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Accepted for presentation at the 16th International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Highly reactive decision making: a game with Time
Huvudförfattarens förnamn: Thierry
Huvudförfattarens efternamn: Vidal
Medförf 1 förnamn: Silvia
Medförf 1 efternamn: Coradeschi
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *