302 search results - page 10 / 61 » Science in the Palms of Their Hands |
TEI
2012
ACM
12 years 4 months ago
2012
ACM
Recent technological advances in input sensing, as well as ultra-small projectors, have opened up new opportunities for interaction – the use of the body itself as both an input...
100
click to vote
Dataset
A set of silhouette images that can be used during testing a new centerline extraction technique. Some of the images are drawn by hand, while others are collected from several clas...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
RTA
1995
Springer
14 years 4 days ago
1995
Springer
In this paper we study normalization properties of rewrite systems that are typeable using intersection types with and with sorts. We prove two normalization properties of typeable...
CAD
2008
Springer
13 years 8 months ago
2008
Springer
By simultaneously considering evolution processes for parametric spline curves and implicitly defined curves, we formulate the framework of dual evolution. This allows us to combin...