Sciweavers

1891 search results - page 118 / 379
» Constrained Subspace Modelling
Sort
View
BIRTHDAY
2009
Springer
15 years 4 months ago
Hybrid BDD and All-SAT Method for Model Checking
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
Avi Yadgar, Orna Grumberg, Assaf Schuster
CIS
2008
Springer
15 years 4 months ago
Multiperspective Modeling and Rendering Using General Linear Cameras
We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspective (pinhol...
Jingyi Yu, Yuanyuan Ding, and Leonard McMillan
PAMI
2007
241views more  PAMI 2007»
14 years 9 months ago
Extreme Compression and Modeling of Bidirectional Texture Function
The recent advanced representation for realistic real-world materials in virtual reality applications is the Bidirectional Texture Function (BTF) which describes rough texture app...
Michal Haindl, Jirí Filip
ICIAP
1999
ACM
15 years 2 months ago
A New Deformable Contour Method
In this paper, a new deformable contour method derived from a constrained contour energy minimization framework is presented. By imposing a constraint of region, which can be any ...
Xun Wang, William G. Wee
IJCAI
2003
14 years 11 months ago
Multi-prototype Support Vector Machine
We extend multiclass SVM to multiple prototypes per class. For this framework, we give a compact constrained quadratic problem and we suggest an efficient algorithm for its optimi...
Fabio Aiolli, Alessandro Sperduti