Sciweavers

1295 search results - page 138 / 259
» informs 1998
Sort
View
131
Voted
AGENTS
1998
Springer
15 years 8 months ago
Issues in Temporal Reasoning for Autonomous Control Systems
Deep Space One will be the rst spacecraft to be controlled by an autonomous agent potentially capable of carrying out a complete mission with minimal commandingfrom Earth. The New...
Nicola Muscettola, Paul H. Morris, Barney Pell, Be...
CSCW
1998
ACM
15 years 8 months ago
Meme Tags and Community Mirrors: Moving from Conferences to Collaboration
Meme Tags are part of a body of research on GroupWear: a wearable technology that supports people in the formative stages of cooperative work. Conference participants wear Meme Ta...
Richard Borovoy, Fred Martin, Sunil Vemuri, Mitche...
ICFP
1998
ACM
15 years 8 months ago
H/Direct: A Binary Foreign Language Interface for Haskell
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Lang...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....
ISPD
1998
ACM
111views Hardware» more  ISPD 1998»
15 years 8 months ago
A pattern matching algorithm for verification and analysis of very large IC layouts
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
Mariusz Niewczas, Wojciech Maly, Andrzej J. Strojw...
CAPTECH
1998
Springer
15 years 8 months ago
Motion Abstraction and Mapping with Spatial Constraints
bstraction and Mapping with Spatial Constraints ? Rama Bindiganavale and Norman I. Badler Computer and Information Science Department University of Pennsylvania, PA 19104-6389, USA...
Rama Bindiganavale, Norman I. Badler