Sciweavers

1449 search results - page 228 / 290
» Finiteness results for sigmoidal
Sort
View
ADBIS
2010
Springer
333views Database» more  ADBIS 2010»
15 years 1 months ago
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
Aleksandar Dimovski, Goran Velinov, Dragan Sahpask...
ATAL
2010
Springer
15 years 1 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ICML
2010
IEEE
15 years 28 days ago
Non-Local Contrastive Objectives
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...
David Vickrey, Cliff Chiung-Yu Lin, Daphne Koller
AES
2008
Springer
111views Cryptology» more  AES 2008»
15 years 11 hour ago
Ambient vibration testing and structural evaluation of an historic suspension footbridge
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
C. Gentile, N. Gallino
ALIFE
2007
15 years 9 hour ago
Evolution of Birdsong Syntax by Interjection Communication
Animals use diverse forms of communication, from sound signals to body postures. Recent ethological studies have reported a unique syntactic communication of a songbird, the Bengal...
Kazutoshi Sasahara, Takashi Ikegami