3891 search results - page 161 / 779 » Toward nature-inspired computing |
128
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
104
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
126
click to vote
PERSUASIVE
2007
Springer
15 years 9 months ago
2007
Springer
Computational agents can motivate people to change their behaviour towards energy use in a home setting. In this paper, we investigate the design and evaluation of the iParrot, an ...
124
Voted
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...
132
Voted
SPAA
2006
ACM
15 years 9 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...