Sciweavers

470 search results - page 74 / 94
» Semantic Anchoring with Model Transformations
Sort
View
ICFP
2006
ACM
14 years 8 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield
PODS
1989
ACM
129views Database» more  PODS 1989»
13 years 12 months ago
The Alternating Fixpoint of Logic Programs with Negation
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
Allen Van Gelder
KDD
2004
ACM
213views Data Mining» more  KDD 2004»
14 years 1 months ago
Analytical view of business data
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
Adam Yeh, Jonathan Tang, Youxuan Jin, Sam Skrivan
VLDB
2004
ACM
144views Database» more  VLDB 2004»
14 years 8 months ago
Preserving mapping consistency under schema changes
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
Yannis Velegrakis, Renée J. Miller, Lucian Popa
ISMIR
2005
Springer
143views Music» more  ISMIR 2005»
14 years 1 months ago
A Robust Mid-Level Representation for Harmonic Content in Music Signals
When considering the problem of audio-to-audio matching, determining musical similarity using low-level features such as Fourier transforms and MFCCs is an extremely difficult ta...
Juan Pablo Bello, Jeremy Pickens