1567 search results - page 219 / 314 » A Mechanized Model of the Theory of Objects |
109
click to vote
PG
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce a novel mechanism for creating line drawings from three-dimensional models, which captures the dynamic nature of the drawing process. The approach takes into account ...
140
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
An analytical model is proposed to describe the priority schemes of the EDCA mechanism of the IEEE 802.11e standard. EDCA provides class-based differentiated QoS to IEEE 802.11 WL...
132
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...
134
Voted
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
209
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...