Sciweavers

8141 search results - page 295 / 1629
» Higher Order Generalization
Sort
View
WCRE
1995
IEEE
15 years 10 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
CSCL
2006
58views more  CSCL 2006»
15 years 6 months ago
A dialogic understanding of the relationship between CSCL and teaching thinking skills
This paper reviews the literature linking information and communications technology (ICT) to teaching thinking skills and advocates a dialogic framework which has implications for ...
Rupert Wegerif
CORR
2007
Springer
112views Education» more  CORR 2007»
15 years 6 months ago
Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint
—In this paper, we investigate the minimum average transmit energy that can be obtained in multiple antenna broadcast systems with channel inversion technique. The achievable gai...
Amin Mobasher, Amir K. Khandani
JAPLL
2006
87views more  JAPLL 2006»
15 years 6 months ago
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
Freek Wiedijk
JVCIR
2007
96views more  JVCIR 2007»
15 years 6 months ago
Image decomposition combining staircase reduction and texture extraction
This paper proposes a natural and efficient way to achieve staircase reduction in texture extraction models of image processing. Moreover, we propose a precise framework for this ...
Tony F. Chan, Selim Esedoglu, Frederick E. Park