23 search results - page 4 / 5 » Connectivity of the Lifts of a Greedoid |
FUIN
2006
13 years 9 months ago
2006
We deal with the notion of M-unambiguity [5] in connection with the Parikh matrix mapping introduced by Mateescu and others in [7]. M-unambiguity is studied both in terms of words ...
SENSYS
2004
ACM
14 years 3 months ago
2004
ACM
A class of synchronization protocols for dense, large-scale sensor networks is presented. The protocols build on the recent work of Hong, Cheow, and Scaglione [5, 6] in which the ...
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
ALIFE
2006
13 years 9 months ago
2006
The body-brain coevolution of aerial life forms has not been developed as far as aquatic or terrestrial locomotion in the field of artificial life. We are studying physically simu...
WM
2003
13 years 11 months ago
2003
This paper explores connections between Radical Empiricism (RE), a philosophic attitude developed by William James at the beginning of the 20th century, and Empirical Modelling (E...