1938 search results - page 242 / 388 » On Positive Relational Calculi |
DAC
2002
ACM
14 years 10 months ago
2002
ACM
We extend in this paper the concept of the P-admissible floorplan representation to that of the P*-admissible one. A P*-admissible representation can model the most general floorp...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Antenna effect may damage gate oxides during plasma-based fabrication process. The antenna ratio of total exposed antenna area to total gate oxide area is directly related to the ...
ICML
2000
IEEE
14 years 10 months ago
2000
IEEE
Hidden Markov models (HMMs) are a powerful probabilistic tool for modeling sequential data, and have been applied with success to many text-related tasks, such as part-of-speech t...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Three-dimensional rotational angiography (3D-RA) is a relatively new and promising technique for imaging blood vessels. In this paper, we propose a novel 3D-RA vascular segmentati...