Sciweavers

4419 search results - page 87 / 884
» Information Science in Transition
Sort
View
AI
2008
Springer
13 years 10 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
ICONIP
2010
13 years 7 months ago
Emergence of Highly Nonrandom Functional Synaptic Connectivity Through STDP
Abstract. We investigated the network topology organized through spike-timingdependent plasticity (STDP) using pair- and triad-connectivity patterns, considering di erence of excit...
Hideyuki Kato, Tohru Ikeguchi
LOGCOM
2008
60views more  LOGCOM 2008»
13 years 10 months ago
Monotonic and Downward Closed Games
In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Ors...
SIGGRAPH
2000
ACM
14 years 2 months ago
Computer modelling of fallen snow
In this paper, we present a new model of snow accumulation and stability for computergraphics. Our contribution is divided into two major components, each essential for modelling ...
Paul Fearing
VTS
2007
IEEE
143views Hardware» more  VTS 2007»
14 years 4 months ago
RTL Test Point Insertion to Reduce Delay Test Volume
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...
Kedarnath J. Balakrishnan, Lei Fang