Sciweavers

2917 search results - page 347 / 584
» Adaptation and the effort needed to adapt
Sort
View
POPL
1997
ACM
15 years 10 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
UKCBR
1995
15 years 10 months ago
Self-Questioning and Experimentation: An Index Vocabulary of Situated Interaction
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
Rüdiger Oehlmann, Peter Edwards, Derek H. Sle...
CRYPTO
1991
Springer
144views Cryptology» more  CRYPTO 1991»
15 years 10 months ago
Interactive Proofs with Space Bounded Provers
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
Joe Kilian, Ronitt Rubinfeld
SIGGRAPH
1991
ACM
15 years 10 months ago
Reaction-diffusion textures
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
Andrew P. Witkin, Michael Kass
AVI
2008
15 years 9 months ago
Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coni...