3444 search results - page 134 / 689 » A Theory of Object-Oriented Design |
164
click to vote
SEFM
2006
IEEE
16 years 2 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
161
click to vote
SIGCPR
1999
ACM
15 years 10 months ago
1999
ACM
This report offers an interrogative-based approach to differentiating and quantifying information and knowledge within text. We examine the work of Popper, Shannon, Weaver, Brooke...
159
click to vote
MANSCI
2006
15 years 6 months ago
2006
Second order stochastic dominance characterizes risk-averse preferences represented by expected utility. This paper supplies second order stochastic dominance conditions that char...
149
click to vote
CGF
2005
15 years 6 months ago
2005
Colour realism plays an important role in computer graphics and visualization. In this paper, we present a new approach to direct volume rendering based on the Kubelka-Munk theory...
179
Voted
SMA
2008
ACM
15 years 4 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...