Sciweavers

1514 search results - page 160 / 303
» Cues to Common Knowledge
Sort
View
KR
2010
Springer
14 years 3 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...
ICANN
2001
Springer
14 years 3 months ago
Clustering of EEG-Segments Using Hierarchical Agglomerative Methods and Self-Organizing Maps
EEG segments recorded during microsleep events were transformed to the frequency domain and were subsequently clustered without the common summation of power densities in spectral ...
David Sommer, Martin Golz
FOCS
2000
IEEE
14 years 3 months ago
Zaps and Their Applications
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
Cynthia Dwork, Moni Naor
DIAGRAMS
2000
Springer
14 years 3 months ago
Bar Charts Recognition Using Hough Based Syntactic Segmentation
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
Yan Ping Zhou, Chew Lim Tan
DSVIS
2000
Springer
14 years 3 months ago
Wisdom - A UML Based Architecture for Interactive Systems
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
Nuno Jardim Nunes, João Falcão e Cun...