4047 search results - page 314 / 810 » The Discrete Basis Problem |
128
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
129
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
136
Voted
ASIACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Di...
118
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
135
click to vote
COMPGEOM
2009
ACM
15 years 9 months ago
2009
ACM
We study the complexity of the visibility map of terrains whose triangles are fat, not too steep and have roughly the same size. It is known that the complexity of the visibility ...