1567 search results - page 116 / 314 » A Mechanized Model of the Theory of Objects |
CGF
2000
15 years 1 months ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
101
click to vote
WCET
2010
14 years 11 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
123
click to vote
VR
2000
IEEE
15 years 6 months ago
2000
IEEE
Previous interactive works have used springs, heuristics, and dynamics for surface placement applications. We present an analytical technique for kilohertz rate manipulation of CA...
117
click to vote
JELIA
1990
Springer
15 years 5 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
ER
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...