Sciweavers

373 search results - page 55 / 75
» A New Approach for Image-Content Adaptive Mesh Generation
Sort
View
103
Voted
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 4 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
95
Voted
AI
2010
Springer
14 years 9 months ago
Kernel functions for case-based planning
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
Ivan Serina
VRST
2005
ACM
15 years 3 months ago
Artistic reality: fast brush stroke stylization for augmented reality
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
Jan Fischer, Dirk Bartz, Wolfgang Straßer
CGO
2004
IEEE
15 years 1 months ago
A Dynamically Tuned Sorting Library
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
Xiaoming Li, María Jesús Garzar&aacu...
80
Voted
WEBI
2005
Springer
15 years 3 months ago
Developing Agent Web Service Agreements
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
Shamimabi Paurobally, Nicholas R. Jennings