12107 search results - page 2040 / 2422 » Software That Can Think |
187
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
189
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
182
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
189
click to vote
HUC
2004
Springer
16 years 3 days ago
2004
Springer
We present an automated transportation routing system, called “Opportunity Knocks,” whose goal is to improve the efficiency, safety and independence of individuals with mild co...
197
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...