Sciweavers

2430 search results - page 416 / 486
» Computing Tutte Polynomials
Sort
View
95
Voted
PR
2007
96views more  PR 2007»
15 years 2 months ago
Style-preserving English handwriting synthesis
This paper presents a novel and effective approach to synthesize English handwriting in the user’s writing style. We select the most important features that depict the handwriti...
Zhouchen Lin, Liang Wan
106
Voted
PVLDB
2008
111views more  PVLDB 2008»
15 years 2 months ago
Approximate lineage for probabilistic databases
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
Christopher Ré, Dan Suciu
IEEECIT
2010
IEEE
15 years 1 months ago
A Recognizer of Rational Trace Languages
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
Federico Maggi
139
Voted
IEEEHPCS
2010
15 years 1 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
108
Voted
JAIR
2010
153views more  JAIR 2010»
15 years 1 months ago
Algorithms for Closed Under Rational Behavior (CURB) Sets
We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-pl...
Michael Benisch, George B. Davis, Tuomas Sandholm