Can local NURBS refinement be achieved by modifying only the user interface?
نویسندگان
چکیده
منابع مشابه
Can Refinement be Automated?
We automatically verify Back’s atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on Kleene algebras in an off the shelf resolution and paramodulation theorem prover and a counterexample checker with heuristics for hypothesis learning. The proofs are supported by a toolkit of meaningful refinement laws that ...
متن کاملWhat can and cannot be achieved by advertising.
One of the names associated with advertising which is known outside the business, in addition to Saatchi and Saatchi, is David Ogilvy. He is a legendary figure who built up an agency of world renown which has only recently been bought by WPP Group plc. It is too early to say whether the new ownership will change much but we do know that the old agency was a remarkable one that borc the stamp of...
متن کاملTiming Attack: What Can Be Achieved by a Powerful Adversary?
Implementations of cryptographic algorithms often perform computations in non-constant time, due to performance optimizations. If such operations involve secret parameters, these timing variations can leak some information and, provided enough knowledge of the implementation is at hand, a careful statistical analysis could even lead to the total recovery of these secret parameters. This idea, d...
متن کاملOnly Fermions Can Be Elementary
In standard Poincare and anti de Sitter SO(2,3) invariant theories, the existence of antiparticles is explained by using the fact that covariant equations have solutions with negative energies. In these theories a particle and its antiparticle are described by independent positive energy irreducible representations (IRs) of the symmetry group. Such an approach cannot be applied in de Sitter SO(...
متن کاملWhy Anthropomorphic User Interface Feedback can be Effective and Preferred by Users
This paper addresses and resolves an interesting question concerning the reason for anthropomorphic user interface feedback being more effective (in two of three contexts) and preferred by users compared to an equivalent non-anthropomorphic feedback. Firstly the paper will summarise the author’s three internationally published experiments and results. These will show statistically significant r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer-Aided Design
سال: 2016
ISSN: 0010-4485
DOI: 10.1016/j.cad.2015.09.006