Sciweavers

577 search results - page 101 / 116
» On Capturing Semantics in Ontology Mapping
Sort
View
83
Voted
JUCS
2010
164views more  JUCS 2010»
14 years 8 months ago
On Sustainability of Context-Aware Services Among Heterogeneous Smart Spaces
Abstract: Most of ambient intelligence studies have tried to employ inductive methods (e.g., data mining) to discover useful information and patterns from data streams on sensor ne...
Jason J. Jung
AMAI
2008
Springer
14 years 9 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä
DAM
2008
103views more  DAM 2008»
14 years 9 months ago
Counting preimages of TCP reordering patterns
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial pro...
Anders Hansson, Gabriel Istrate
MTA
2002
190views more  MTA 2002»
14 years 9 months ago
Model-Based Video Classification toward Hierarchical Representation, Indexing and Access
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
Jianping Fan, Xingquan Zhu, Mohand-Said Hacid, Ahm...
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 3 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter