Sciweavers

53327 search results - page 10351 / 10666
» or 2007
Sort
View
ICDT
2007
ACM
121views Database» more  ICDT 2007»
16 years 29 days ago
Compact Samples for Data Dissemination
We consider data dissemination in a peer-to-peer network, where each user wishes to obtain some subset of the available information objects. In most of the modern algorithms for su...
Tova Milo, Assaf Sagi, Elad Verbin
ICFCA
2007
Springer
16 years 29 days ago
A Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
Peggy Cellier, Sébastien Ferré, Oliv...
ICFEM
2007
Springer
16 years 29 days 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
ICISS
2007
Springer
16 years 29 days ago
Security in Practice - Security-Usability Chasm
Abstract. Computer systems security area has received increased attention from both academics and in industry. However, recent work indicates that substantial security gaps emerge ...
Atul Prakash
ICMI
2007
Springer
112views Biometrics» more  ICMI 2007»
16 years 29 days 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...
« Prev « First page 10351 / 10666 Last » Next »