4328 search results - page 48 / 866 » A New Kind of Science |
186
click to vote
CAD
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a new and efficient algorithm for the decomposition of 3D arbitrary triangle meshes and particularly optimized triangulated CAD meshes. The algorithm is based ...
164
click to vote
CSR
2009
Springer
16 years 13 days ago
2009
Springer
A homomorphism from a graph G to a graph H (in this paper, both simple, undirected graphs) is a mapping f : V (G) → V (H) such that if uv ∈ E(G) then f(u)f(v) ∈ E(H). The pro...
138
click to vote
ACMSE
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
148
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: This paper describes a novel solution for authenticated key agreement for wireless sensor networks (WSN) in logistics. The retrieved data may not be spoofed as it is used to gene...
144
click to vote
MFCS
1999
Springer
15 years 10 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...