Sciweavers

6581 search results - page 298 / 1317
» Formalizing Design Patterns
Sort
View
AIPR
2008
IEEE
15 years 6 months ago
Detection of ephemeral changes in sequences of images
The formalism of anomalous change detection, which was developed for finding unusual changes in pairs of images, is extended to sequences of more than two images. Extended algorith...
James Theiler, Steven M. Adler-Golden
BIRTHDAY
2008
Springer
15 years 6 months ago
The Pairing of Contracts and Session Types
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
Cosimo Laneve, Luca Padovani
FLAIRS
2004
15 years 5 months ago
Knowledge Engineering of Creative Musical Expressions Using Carnatic Music Ideology
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
S. Ganesh Ram, C. T. Palaniappan, M. S. Ramakrishn...
NIPS
2001
15 years 5 months ago
Modeling Temporal Structure in Classical Conditioning
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
Aaron C. Courville, David S. Touretzky
SIGKDD
2002
93views more  SIGKDD 2002»
15 years 4 months ago
A Perspective on Inductive Databases
Inductive databases tightly integrate databases with data mining. The key ideas are that data and patterns (or models) are handled in the same way and that an inductive query lang...
Luc De Raedt