Sciweavers

852 search results - page 99 / 171
» Functional Representation of Designs and Redesign Problem So...
Sort
View
FOCS
2006
IEEE
14 years 1 months ago
On the Compressibility of NP Instances and Cryptographic Applications
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
Danny Harnik, Moni Naor
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
14 years 6 days ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
CGF
1998
86views more  CGF 1998»
13 years 7 months ago
Subdivision Schemes for Thin Plate Splines
Thin plate splines are a well known entity of geometric design. They are defined as the minimizer of a variational problem whose differential operators approximate a simple notio...
Henrik Weimer, Joe D. Warren
ESAW
2004
Springer
14 years 1 months ago
Cooperative Agent Model Instantiation to Collective Robotics
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
Gauthier Picard
CP
2006
Springer
13 years 11 months ago
The Modelling Language Zinc
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
Maria J. García de la Banda, Kim Marriott, ...