Sciweavers

3093 search results - page 499 / 619
» The Multi-perspective Process Explorer
Sort
View
LPNMR
1997
Springer
15 years 3 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian
WIA
1997
Springer
15 years 3 months ago
In Vitro Implementation of Finite-State Machines
Abstract. We explore the information processing capabilities and efciency of DNA computations by giving two di erent types of implementations of nite-state machines. A ligation-bas...
Max H. Garzon, Y. Gao, John A. Rose, R. C. Murphy,...
EURODAC
1994
IEEE
129views VHDL» more  EURODAC 1994»
15 years 3 months ago
A general state graph transformation framework for asynchronous synthesis
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
Bill Lin, Chantal Ykman-Couvreur, Peter Vanbekberg...
BTW
2007
Springer
153views Database» more  BTW 2007»
15 years 3 months ago
Efficient Time-Travel on Versioned Text Collections
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
Klaus Berberich, Srikanta J. Bedathur, Gerhard Wei...
COSIT
2007
Springer
153views GIS» more  COSIT 2007»
15 years 3 months ago
Effects of Geometry, Landmarks and Orientation Strategies in the 'Drop-Off' Orientation Task
Previous work is reviewed and an experiment described to examine the spatial and strategic cognitive factors impacting on human orientation in the `drop-off' static orientatio...
David Peebles, Clare Davies, Rodrigo Mora