Sciweavers

1891 search results - page 118 / 379
» Constrained Subspace Modelling
Sort
View
BIRTHDAY
2009
Springer
16 years 1 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
16 years 1 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»
15 years 6 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
188
Voted
ICIAP
1999
ACM
15 years 11 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
175
Voted
IJCAI
2003
15 years 8 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