4488 search results - page 401 / 898 » Properties of NP-Complete Sets |
218
click to vote
JAR
2000
15 years 7 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
166
click to vote
BC
1998
15 years 7 months ago
1998
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
187
click to vote
CN
1998
15 years 7 months ago
1998
The main aim of our work is to create a realistic model of the behaviour of the upper airways during laryngoscopy. In this procedure the anaesthetist uses a rigid blade to displac...
175
click to vote
CSUR
1999
15 years 7 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
202
click to vote
TSE
1998
15 years 7 months ago
1998
Message-logging protocols are an integral part of a popular technique for implementing processes that can recover from crash failures. All message-logging protocols require that, ...