9832 search results - page 1926 / 1967 » An Object Model for Multiprogramming |
133
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
150
Voted
WOLLIC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
141
Voted
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
115
Voted
ICDM
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we devise an efficient algorithm for clustering market-basket data. Different from those of the traditional data, the features of market-basket data are known to b...
113
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
—In this paper we describe a novel approach, called improbability filtering, to rejecting false-positive observations from degrading the tracking performance of an Extended Kalma...