Sciweavers

2032 search results - page 214 / 407
» Encodings of the Sequence Constraint
Sort
View
ICIP
2001
IEEE
16 years 8 months ago
Optimal radial contour tracking by dynamic programming
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
Yunqiang Chen, Thomas S. Huang, Yong Rui
CADE
2007
Springer
16 years 6 months ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
EVOW
2010
Springer
16 years 1 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier
ICASSP
2009
IEEE
16 years 1 months ago
A modified distortion metric for audio coding
Current audio coding standards employ the modified discrete cosine transform (MDCT) where overlapped frames of audio are windowed and transformed to the frequency domain. Encodin...
Vinay Melkote, Kenneth Rose
ICTAI
2008
IEEE
16 years 1 months ago
A Lattice-Based Model for Recommender Systems
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...
Shriram Narayanaswamy, Raj Bhatnagar