Sciweavers

1438 search results - page 259 / 288
» Relational aspects as tracematches
Sort
View
CONCUR
2007
Springer
14 years 3 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
GI
2007
Springer
14 years 3 months ago
Semantic Web Technologies for Power Grid Management
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
Mathias Uslar, Nikolai Dahlem
ICFEM
2007
Springer
14 years 3 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
ICMI
2007
Springer
112views Biometrics» more  ICMI 2007»
14 years 3 months ago
How to distinguish posed from spontaneous smiles using geometric features
Automatic distinction between posed and spontaneous expressions is an unsolved problem. Previously cognitive sciences’ studies indicated that the automatic separation of posed f...
Michel François Valstar, Hatice Gunes, Maja...
KDD
2007
ACM
179views Data Mining» more  KDD 2007»
14 years 3 months ago
Mining statistically important equivalence classes and delta-discriminative emerging patterns
The support-confidence framework is the most common measure used in itemset mining algorithms, for its antimonotonicity that effectively simplifies the search lattice. This com...
Jinyan Li, Guimei Liu, Limsoon Wong