Sciweavers

2835 search results - page 94 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
130
Voted
TC
2008
15 years 3 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
117
Voted
ADC
2001
Springer
97views Database» more  ADC 2001»
15 years 8 months ago
View updates in a semantic data modelling paradigm
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
Michael Johnson, Robert D. Rosebrugh, Christopher ...
UAI
2008
15 years 5 months ago
Causal discovery of linear acyclic models with arbitrary distributions
An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used ...
Patrik O. Hoyer, Aapo Hyvärinen, Richard Sche...
135
Voted
FLAIRS
2006
15 years 5 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
LREC
2008
114views Education» more  LREC 2008»
15 years 5 months ago
Bilingual Text Classification using the IBM 1 Translation Model
Manual categorisation of documents is a time-consuming task that has been significantly alleviated with the deployment of automatic and machine-aided text categorisation systems. ...
Jorge Civera, Alfons Juan-Císcar