2021 search results - page 393 / 405 » COCO: Composition Model and Composition Model Implementation |
119
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
139
Voted
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
125
click to vote
CG
2004
Springer
15 years 1 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
140
click to vote
EUROCRYPT
2011
Springer
14 years 5 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
151
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...