5740 search results - page 876 / 1148 » Application of Level Set Methods in Computer Vision |
216
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Non-negative tensor factorization (NTF) is a relatively new technique that has been successfully used to extract significant characteristics from polyadic data, such as data in s...
163
Voted
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
169
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
203
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a software implementation of a very fast parallel Reed-Solomon decoder on the second generation of MorphoSys reconfigurable computation platform, which is targ...
184
click to vote
AAAI
2008
15 years 9 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....