676 search results - page 37 / 136 » A theory of aspects |
180
Voted
COCOA
2011
Springer
14 years 8 days ago
2011
Springer
The work in this paper is to initiate a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by certain economi...
111
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
101
Voted
ACTA
2006
15 years 16 days ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
91
Voted
FLAIRS
2004
15 years 1 months ago
2004
Novelty detection in video is a rapidly developing application domain within computer vision. The motivation behind this paper is a learning based framework for detecting novelty ...
122
Voted
CORR
2000
Springer
15 years 8 days ago
2000
Springer
The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or t...