2586 search results - page 278 / 518 » Automatic Abstraction for Congruences |
167
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...
185
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
183
click to vote
CVRMED
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
123
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--This paper extends the transition method for binarization based on transition pixels, a generalization of edge pixels. This method originally computes transition threshol...
147
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...