5981 search results - page 97 / 1197 » time 2006 |
124
Voted
JCSS
2000
15 years 17 days 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...
87
Voted
IAJIT
2010
14 years 11 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...
NECO
2006
2006
Optimal Spike-Timing-Dependent Plasticity for Precise Action Potential Firing in Supervised Learning
15 years 21 days 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...
129
Voted
ACST
2006
15 years 2 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...
104
Voted
FUIN
2006
15 years 23 days 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...