Sciweavers

2585 search results - page 326 / 517
» computing 1999
Sort
View
EKAW
1999
Springer
15 years 8 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
RIDE
1999
IEEE
15 years 8 months ago
Modeling and Analysis of Interactions in Virtual Enterprises
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C...
FLOPS
1999
Springer
15 years 8 months ago
An Interval Lattice-Based Constraint Solving Framework for Lattices
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
Antonio J. Fernández, Patricia M. Hill
FPGA
1999
ACM
124views FPGA» more  FPGA 1999»
15 years 8 months ago
Don't Care Discovery for FPGA Configuration Compression
One of the major overheads in reconfigurable computing is the time it takes to reconfigure the devices in the system. The configuration compression algorithm presented in our prev...
Zhiyuan Li, Scott Hauck
VISUALIZATION
1999
IEEE
15 years 8 months ago
Design and Implementation of an Immersive Geoscience Toolkit
Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present in th...
Christophe Winkler, Fabien Bosquet, Xavier Cavin, ...