2373 search results - page 196 / 475 » On the Theory of Structural Subtyping |
219
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we give a simple scheme for identifying approximate frequent items over a sliding window of size n. Our scheme is deterministic and does not make any assumption on ...
177
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
168
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel technique for detecting single and multi-note ornaments is presented. The system detects audio segments by utilising an onset detector based on comb filters (ODCF), which ...
173
click to vote
AI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...