3984 search results - page 114 / 797 » A Model-Driven Transformation Method |
123
Voted
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
97
Voted
CIARP
2003
Springer
15 years 9 months ago
2003
Springer
The Continuous Distance Transformation (CDT) used in conjunction with a k-NN classifier has been shown to provide good results in the task of handwriting recognition [1]. Unfortun...
126
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
141
Voted
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
131
Voted
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...