4209 search results - page 709 / 842 » Abstract Dialectical Frameworks |
124
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
117
click to vote
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
The problem of identifying deviating patterns in XML repositories has important applications in data cleaning, fraud detection, and stock market analysis. Current methods determine...
152
Voted
ICA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work, we present a direction-of-arrival (DOA) estimation method for narrowband sources impinging from the far-field on a uniform linear array (ULA) of sensors, ba...
133
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
147
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...