3824 search results - page 175 / 765 » Geometry Constructions Language |
96
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
116
click to vote
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
103
click to vote
JUCS
2008
15 years 22 days ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
95
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
This paper describes the construction of second generation bandelet orthogonal bases. The decomposition on a bandelet basis is computed using a wavelet filter bank followed by ada...
102
click to vote
VIS
2007
IEEE
16 years 2 months ago
2007
IEEE
The Morse-Smale complex is an efficient representation of the gradient behavior of a scalar function, and critical points paired by the complex identify topological features and th...