Sciweavers

1026 search results - page 50 / 206
» Semantic Components for Timetabling
Sort
View
196
Voted
CALCO
2011
Springer
235views Mathematics» more  CALCO 2011»
14 years 2 months ago
On the Fusion of Coalgebraic Logics
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
Fredrik Dahlqvist, Dirk Pattinson
134
Voted
RTSS
2005
IEEE
15 years 8 months ago
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
Hakan Yazarel, Antoine Girard, George J. Pappas, R...
SEMWEB
2009
Springer
15 years 9 months ago
The OWLlink Protocol
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
Thorsten Liebig, Marko Luther, Olaf Noppens
125
Voted
CSMR
2007
IEEE
15 years 8 months ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
IJCNLP
2004
Springer
15 years 7 months ago
Visual Semantics and Ontology of Eventive Verbs
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
Minhua Ma, Paul McKevitt