14161 search results - page 166 / 2833 » On generalized middle-level problem |
193
Voted
IMR
2004
Springer
16 years 12 days ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
152
Voted
ASIACRYPT
2003
Springer
16 years 8 days ago
2003
Springer
This paper investigates some modular powering functions suitable for cryptography. It is well known that the Rabin encryption function is a 4-to-1 mapping and breaking its one-wayn...
234
Voted
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
185
Voted
EDCC
1994
Springer
15 years 11 months ago
1994
Springer
This paper discusses the problems of pin-level fault injection for dependability validation and presents the architecture of a pin-level fault injector called RIFLE. This system ca...
217
Voted
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...