Sciweavers

807 search results - page 106 / 162
» Modeling Hybrid Domains Using Process Description Language
Sort
View
AIA
2006
15 years 4 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
111
Voted
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 9 months ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
133
Voted
EDBT
2010
ACM
188views Database» more  EDBT 2010»
15 years 6 months ago
DEDUCE: at the intersection of MapReduce and stream processing
MapReduce and stream processing are two emerging, but different, paradigms for analyzing, processing and making sense of large volumes of modern day data. While MapReduce offers t...
Vibhore Kumar, Henrique Andrade, Bugra Gedik, Kun-...
PAMI
2007
353views more  PAMI 2007»
15 years 2 months ago
Dynamic Texture Recognition Using Local Binary Patterns with an Application to Facial Expressions
— Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures have attracted growing attention. In this paper, a novel appr...
Guoying Zhao, Matti Pietikäinen
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 3 months ago
Integrating and Exchanging XML Data Using Ontologies
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
Huiyong Xiao, Isabel F. Cruz