Sciweavers

433 search results - page 31 / 87
» Toward a Statistical Knowledge Network
Sort
View
IJCNN
2007
IEEE
15 years 6 months ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi
ICCS
2003
Springer
15 years 5 months ago
Towards Biomedical Problem Solving in a Game Environment
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
Yang Cai 0002, Ingo Snel, B. Suman Bharathi, Cleme...
NCA
2008
IEEE
15 years 6 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
FGCN
2008
IEEE
175views Communications» more  FGCN 2008»
15 years 6 months ago
Environment Recognition Based on Human Actions Using Probability Networks
To realize context aware applications for smart home environments, it is necessary to recognize function or usage of objects as well as categories of them. On conventional researc...
Hiroshi Miki, Atsuhiro Kojima, Koichi Kise
ECCV
2010
Springer
15 years 5 months ago
Learning Relations Among Movie Characters: A Social Network Perspective
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...