2586 search results - page 78 / 518 » Automatic Abstraction for Congruences |
IEAAIE
2001
Springer
15 years 2 months ago
2001
Springer
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
MICCAI
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a method based on multiresolution signal processing on meshes to create a thickness atlas. We applied this method to construct an atlas of bladder wall thickne...
108
click to vote
ICPP
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
110
click to vote
DDECS
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...