7623 search results - page 875 / 1525 » Constructive Volume Modeling |
205
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
140
click to vote
JSC
2006
15 years 7 months ago
2006
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
164
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
220
click to vote
IS
2007
15 years 7 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
146
click to vote
AROBOTS
2000
15 years 7 months ago
2000
A new means of action selection via utility fusion is introduced as an alternative to both sensor fusion and command fusion. Distributed asynchronous behaviors indicate the utility...