Sciweavers

2735 search results - page 442 / 547
» Generalized Displacement Maps
Sort
View
CIKM
2010
Springer
15 years 5 months ago
Visualization and clustering of crowd video content in MPCA subspace
This paper presents a novel approach for the visualization and clustering of crowd video contents by using multilinear principal component analysis (MPCA). In contrast to feature-...
Haiping Lu, How-Lung Eng, Myo Thida, Konstantinos ...
EUROMED
2010
15 years 5 months ago
Interactive Itinerary of Heritage Houses in Beirut: Walking Back to the Future
Abstract. The aim of this project paper is to explore the opportunities and challenges of using ICT in the understanding, representation, preservation, management, interpretation o...
Nada El-Khoury, Giovanni De Paoli
IANDC
2010
125views more  IANDC 2010»
15 years 5 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
IANDC
2010
151views more  IANDC 2010»
15 years 5 months ago
Complete sets of cooperations
The structure map turning a set into the carrier of a final coalgebra is not unique. This fact is well-known but commonly elided. In this paper we argue that any such concrete re...
Clemens Kupke, Jan J. M. M. Rutten
JFP
2008
97views more  JFP 2008»
15 years 5 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey