5456 search results - page 961 / 1092 » A study of Object Evolution |
119
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
162
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
123
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
163
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
158
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Existing studies on the design of routing protocols for wireless ad hoc networks mainly focused on energy efficiency. However, in many real-time applications such as target trackin...