Sciweavers

443 search results - page 42 / 89
» Automatic generation of bus functional models from transacti...
Sort
View
ACL
2009
13 years 6 months ago
DEPEVAL(summ): Dependency-based Evaluation for Automatic Summaries
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...
Karolina Owczarzak
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
14 years 5 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
ECAL
2007
Springer
14 years 2 months ago
Building Virtual Ecosystems from Artificial Chemistry
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
Alan Dorin, Kevin B. Korb
TCS
2008
13 years 8 months ago
Generalized approximate counting revisited
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
Guy Louchard, Helmut Prodinger
HUMO
2000
Springer
14 years 3 days ago
Specialized Mappings and the Estimation of Human Body Pose from a Single Image
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
Rómer Rosales, Stan Sclaroff