1824 search results - page 211 / 365 » Practices and Techniques for Engineering Process Capability ... |
149
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
149
click to vote
WSC
1997
15 years 5 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
150
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...
120
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
142
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...