Sciweavers

34 search results - page 1 / 7
» Interpreting Localized Computational Effects Using Operators...
Sort
View
CIE
2008
Springer
13 years 9 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
14 years 1 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
15 years 17 days 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 7 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 7 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á...