120 search results - page 6 / 24 » Presenting Morphisms of Distributive Laws |
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
We examine eleven large open source software systems and present empirical evidence for the existence of fractal structures in software evolution. In our study, fractal structures...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— A control strategy inspired by the hunting tactics of ladybugs is presented to simultaneously achieve sensor coverage and exploration of an area with a group of networked robot...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— A decentralized controller is presented that causes a network of robots to converge to a near optimal sensing configuration, while simultaneously learning the distribution of ...
AROBOTS
2004
13 years 9 months ago
2004
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...