Sciweavers

789 search results - page 69 / 158
» Solving Complex Problems Efficiently with Adaptive Automata
Sort
View
CTRSA
2009
Springer
127views Cryptology» more  CTRSA 2009»
15 years 10 months ago
Adaptive-ID Secure Revocable Identity-Based Encryption
Abstract. Identity-Based Encryption (IBE) offers an interesting alternative to PKI-enabled encryption as it eliminates the need for digital certificates. While revocation has bee...
Benoît Libert, Damien Vergnaud
122
Voted
SMA
2008
ACM
122views Solid Modeling» more  SMA 2008»
15 years 3 months ago
Technical strategies for massive model visualization
Interactive visualization of massive models still remains a challenging problem. This is mainly due to a combination of ever increasing model complexity with the current hardware ...
Enrico Gobbetti, David J. Kasik, Sung-Eui Yoon
141
Voted
BALT
2010
14 years 10 months ago
Bringing Domain Knowledge to Pattern Matching
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
Agris Sostaks
CSCLP
2008
Springer
15 years 5 months ago
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
Khalil Djelloul
112
Voted
ICPP
1999
IEEE
15 years 7 months ago
A Bandwidth-Efficient Implementation of Mesh with Multiple Broadcasting
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...
Jong Hyuk Choi, Bong Wan Kim, Kyu Ho Park, Kwang-I...