471 search results - page 41 / 95 » Computational complexity: a conceptual perspective |
IACR
2011
12 years 8 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
TOG
2012
11 years 11 months ago
2012
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
GCC
2005
Springer
14 years 2 months ago
2005
Springer
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...