Sciweavers

7602 search results - page 311 / 1521
» A New Approach to Base Revision
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Uninitialized, Globally Optimal, Graph-Based Rectilinear Shape Segmentation The Opposing Metrics Method
We present a new approach for the incorporation of shape information into a segmentation algorithm. Unlike previous approaches to the problem, our method requires no initializatio...
Ali Kemal Sinop, Leo Grady
ESSOS
2010
Springer
16 years 3 months ago
Formally-Based Black-Box Monitoring of Security Protocols
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
Alfredo Pironti, Jan Jürjens
ICDT
2009
ACM
127views Database» more  ICDT 2009»
16 years 1 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
TSD
2007
Springer
16 years 28 days ago
Graph-Based Answer Fusion in Multilingual Question Answering
One major problem in multilingual Question Answering (QA) is the combination of answers obtained from different languages into one single ranked list. This paper proposes a new met...
Rita M. Aceves-Pérez, Manuel Montes-y-G&oac...
ICMCS
2006
IEEE
105views Multimedia» more  ICMCS 2006»
16 years 26 days ago
Web based Chinese Calligraphy Learning with 3-D Visualization Method
Chinese calligraphy is pictographic and each calligraphist has his own writing style. People often feel difficult in writing a demanded beautiful calligraphy style. In order to he...
Yingfei Wu, Yueting Zhuang, Yunhe Pan, Jiangqin Wu