Sciweavers

922 search results - page 58 / 185
» A Novel Framework for Visualizing Declarative Process Models
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
KES
2006
Springer
14 years 9 months ago
A computational framework for package planning
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...
Yang Xiang, Michael Janzen
CVPR
2008
IEEE
15 years 11 months ago
Enhanced biologically inspired model
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...
Yongzhen Huang, Kaiqi Huang, Liangsheng Wang, Dach...
CVPR
2010
IEEE
1208views Computer Vision» more  CVPR 2010»
15 years 6 months ago
Visual Tracking Decomposition
We propose a novel tracking algorithm that can work robustly in a challenging scenario such that several kinds of appearance and motion changes of an object occur at the same time....
Junseok Kwon (Seoul National University), Kyoung M...
ICIP
2005
IEEE
15 years 11 months ago
Multiresolution analysis for meshes with appearance attributes
We present a new multiresolution analysis framework for irregular meshes with attributes based on the lifting scheme. We introduce a surface prediction operator to compute the det...
Andreas Koschan, Frédéric Truchetet,...