3154 search results - page 102 / 631 » Computing Closed Skycubes |
ICTAC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
RELMICS
2009
Springer
14 years 4 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
SIGGRAPH
2009
ACM
14 years 4 months ago
2009
ACM
This paper describes the Sound Scope Headphones which enable the user to control an audio mixer through natural movements of the head and hands. This allows musical novices to int...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a new image registration criterion that uses segmented versions of the images to exploit both the geometric and photometric characteristics of the distinct regions they...