11716 search results - page 348 / 2344 » Computable symbolic dynamics |
173
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
188
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a middleware that enables its target application to dynamically incorporate heterogeneous nodes of a cluster. It distributes the objects of the application ac...
164
click to vote
NIPS
1998
15 years 8 months ago
1998
Symmetrically connected recurrent networks have recently been used as models of a host of neural computations. However, biological neural networks have asymmetrical connections, at...
170
click to vote
NAR
2008
15 years 6 months ago
2008
Given an input Protein Data Bank file (PDB) for a protein or RNA molecule, LocalMove is a web server that determines an on-lattice representation for the input biomolecule. The we...
154
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
In recent years point-based geometry has gained increasing attention as an alternative surface representation, both for efficient rendering and for flexible geometry processing of...