Sciweavers

434 search results - page 14 / 87
» A Semantic Caching Method Based on Linear Constraints
Sort
View
CVPR
2004
IEEE
14 years 10 months ago
Linear Model Hashing and Batch RANSAC for Rapid and Accurate Object Recognition
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
Ying Shan, Bogdan Matei, Harpreet S. Sawhney, Rake...
COLING
2000
13 years 10 months ago
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
Sylvain Pogodalla
CONCUR
2000
Springer
14 years 28 days ago
LP Deadlock Checking Using Partial Order Dependencies
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
Victor Khomenko, Maciej Koutny
SCALESPACE
2005
Springer
14 years 2 months ago
A Linear Image Reconstruction Framework Based on Sobolev Type Inner Products
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
Bart Janssen, Frans Kanters, Remco Duits, Luc Flor...
CDC
2009
IEEE
14 years 1 months ago
Linear control of time-domain constrained systems
— Recent results on the control of linear systems subject to time-domain constraints could only handle the case of closed-loop poles that are situated on the real axis. As most c...
Wouter H. T. M. Aangenent, W. P. M. H. Heemels, M....