3009 search results - page 334 / 602 » The Expressive Rate of Constraints |
179
click to vote
SAFECOMP
2004
Springer
16 years 1 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
157
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
194
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Role-Based Access Control (RBAC) model is traditionally used to manually assign users to appropriate roles, based on a specific enterprise policy, thereby authorizing them to ...
154
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
181
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
We present a novel approach to creating deformations of polygonal models using Radial Basis Functions (RBFs) to produce localized real-time deformations. Radial Basis Functions as...