Sciweavers

1146 search results - page 226 / 230
» Applications of the TAMPR Transformation System
Sort
View
CC
2001
Springer
150views System Software» more  CC 2001»
15 years 1 months ago
SmartTools: A Generator of Interactive Environments Tools
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
Isabelle Attali, Carine Courbis, Pascal Degenne, A...
UMC
2000
15 years 29 days ago
Quantum Information: The New Frontier
Quantum information and computation is the new hype in physics. It is promising, mindboggling and even already applicable in cryptography, with good prospects ahead. A brief, rathe...
Karl Svozil
COCO
2010
Springer
186views Algorithms» more  COCO 2010»
15 years 21 days ago
Derandomized Parallel Repetition of Structured PCPs
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
Irit Dinur, Or Meir
SCA
2007
14 years 11 months ago
Deformation styles for spline-based skeletal animation
We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...
Sven Forstmann, Jun Ohya, Artus Krohn-Grimberghe, ...
BMCBI
2006
175views more  BMCBI 2006»
14 years 9 months ago
Parameter estimation for stiff equations of biosystems using radial basis function networks
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
Yoshiya Matsubara, Shinichi Kikuchi, Masahiro Sugi...