5510 search results - page 388 / 1102 » Mathematics |
144
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
164
click to vote
COMPGEOM
2004
ACM
16 years 8 days ago
2004
ACM
Given a set P of n points in convex position in the plane, we prove that there exists a point p ∈ P such that the number of distinct distances from p is at least (13n−6)/36 . ...
194
click to vote
SASN
2004
ACM
16 years 8 days ago
2004
ACM
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
174
click to vote
ADG
2004
Springer
16 years 7 days ago
2004
Springer
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
157
click to vote
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...