60 search results - page 11 / 12 » Towards the Complexity of Riemann Mappings (Extended Abstrac... |
EUROCRYPT
2007
Springer
14 years 17 days ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
ICCAD
1995
IEEE
13 years 10 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
STEP
2005
IEEE
13 years 12 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
ECAI
2000
Springer
13 years 10 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
DAGSTUHL
2007
13 years 7 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...