Sciweavers

34 search results - page 1 / 7
» Interpreting Localized Computational Effects Using Operators...
Sort
View
CIE
2008
Springer
13 years 6 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
BIRTHDAY
2004
Springer
13 years 10 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
ICCV
2009
IEEE
14 years 9 months ago
Detecting Interpretable and Accurate Scale-Invariant keypoints
This paper presents a novel method for detecting scale invariant keypoints. It fills a gap in the set of available methods, as it proposes a scale-selection mechanism for juncti...
Wolfgang F¨orstner, Timo Dickscheid, Falko Schind...
CG
2005
Springer
13 years 4 months ago
Sloppy selection: Providing an accurate interpretation of imprecise selection gestures
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
Edward Lank, Eric Saund
CEC
2010
IEEE
13 years 5 months ago
Implementing an intuitive mutation operator for interactive evolutionary 3D design
Abstract— Locality - how well neighbouring genotypes correspond to neighbouring phenotypes - has been described as a key element in Evolutionary Computation. Grammatical Evolutio...
Jonathan Byrne, James McDermott, Edgar Galvá...