Sciweavers

615 search results - page 68 / 123
» Completeness of Combinations of Constructor Systems
Sort
View
DKE
2008
100views more  DKE 2008»
13 years 7 months ago
PeRSSonal's core functionality evaluation: Enhancing text labeling through personalized summaries
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
Christos Bouras, Vassilis Poulopoulos, Vassilis Ts...
COGSR
2011
99views more  COGSR 2011»
13 years 2 months ago
A biologically realistic cleanup memory: Autoassociation in spiking neurons
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
Terrence C. Stewart, Yichuan Tang, Chris Eliasmith
JAPLL
2010
126views more  JAPLL 2010»
13 years 2 months ago
Justification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
Melvin Fitting
ACL
2012
11 years 10 months ago
Toward Automatically Assembling Hittite-Language Cuneiform Tablet Fragments into Larger Texts
This paper presents the problem within Hittite and Ancient Near Eastern studies of fragmented and damaged cuneiform texts, and proposes to use well-known text classification metr...
Stephen Tyndall
KI
2010
Springer
13 years 2 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer