3110 search results - page 252 / 622 » On the initialization of the DNMF algorithm |
222
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
173
click to vote
MLG
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
172
click to vote
SYNASC
2005
IEEE
16 years 7 days ago
2005
IEEE
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people a...
139
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
167
click to vote
EVOW
2004
Springer
16 years 1 days ago
2004
Springer
A Digital Waveguide Mesh is introduced as a method for acoustic modelling. Genetic Algorithms are applied to evolve the structure of a mesh to simulate the human throat and mouth, ...