Sciweavers

789 search results - page 69 / 158
» Solving Complex Problems Efficiently with Adaptive Automata
Sort
View
CTRSA
2009
Springer
127views Cryptology» more  CTRSA 2009»
16 years 24 days 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
SMA
2008
ACM
122views Solid Modeling» more  SMA 2008»
15 years 5 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
BALT
2010
15 years 1 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 7 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
ICPP
1999
IEEE
15 years 10 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...