Sciweavers

8587 search results - page 1420 / 1718
» Interactive dynamic abstraction
Sort
View
ESWS
2010
Springer
15 years 6 months ago
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
Jörg Pührer, Stijn Heymans, Thomas Eiter
BIOID
2008
135views Biometrics» more  BIOID 2008»
15 years 6 months ago
Multimodal Speaker Identification Based on Text and Speech
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...
Panagiotis Moschonas, Constantine Kotropoulos
147
Voted
CIKM
2008
Springer
15 years 6 months ago
Workload-based optimization of integration processes
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...
CONCUR
2006
Springer
15 years 6 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
148
Voted
AINA
2007
IEEE
15 years 6 months ago
Cross Layer Routing for Multihop Cellular Networks
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...
Govindan Kannan, Shabbir N. Merchant, Uday B. Desa...
« Prev « First page 1420 / 1718 Last » Next »