Sciweavers

1508 search results - page 61 / 302
» A Combination Method for Generating Interpolants
Sort
View
ASPDAC
1999
ACM
100views Hardware» more  ASPDAC 1999»
15 years 9 months ago
A Method for Evaluating Upper Bound of Simultaneous Switching Gates Using Circuit Partition
: This paper presents a method for evaluating an upper bound of simultaneous switching gates in combinational circuits. In this method, the original circuit is partitioned into sub...
Kai Zhang, Tsuyoshi Shinogi, Haruhiko Takase, Teru...
ACL
2009
15 years 3 months ago
Application-driven Statistical Paraphrase Generation
Paraphrase generation (PG) is important in plenty of NLP applications. However, the research of PG is far from enough. In this paper, we propose a novel method for statistical par...
Shiqi Zhao, Xiang Lan, Ting Liu, Sheng Li
EPIA
2009
Springer
16 years 13 hour ago
Intention Recognition via Causal Bayes Networks Plus Plan Generation
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
Luís Moniz Pereira, Han The Anh
ANOR
2010
130views more  ANOR 2010»
15 years 5 months ago
Metaheuristic methods based on Tabu search for assigning judges to competitions
Two metaheuristic methods based on Tabu search are introduced to assign judges to individual competitions in a tournament. The complexity of the mathematical formulation accounting...
Amina Lamghari, Jacques A. Ferland
ASIACRYPT
2009
Springer
16 years 1 days ago
Attacking Power Generators Using Unravelled Linearization: When Do We Output Too Much?
We look at iterated power generators si = se i−1 mod N for a random seed s0 ∈ ZN that in each iteration output a certain amount of bits. We show that heuristically an output of...
Mathias Herrmann, Alexander May