5981 search results - page 97 / 1197 » time 2006 |
152
Voted
JCSS
2000
15 years 3 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
106
Voted
IAJIT
2010
15 years 2 months ago
2010
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
108
Voted
NECO
2006
2006
Optimal Spike-Timing-Dependent Plasticity for Precise Action Potential Firing in Supervised Learning
15 years 3 months ago
In timing-based neural codes, neurons have to emit action potentials at precise moments in time. We use a supervised learning paradigm to derive a synaptic update rule that optimi...
151
Voted
ACST
2006
15 years 5 months ago
2006
In the last years, there has been an increased investigation of efficient algorithms to solve problems of great scale. The main restriction of the traditional methods, like finite...
129
Voted
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...