17366 search results - page 392 / 3474 » New Revision Algorithms |
136
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- Due to efficient interconnect structure and internal parallelism bus-partitioned architectures are very beneficial for sub-micron chip design. This paper presents a new approach ...
198
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
169
click to vote
IJCAI
2001
15 years 8 months ago
2001
This paper develops a new paradigm for relational learning which allows for the representation and learning of relational information using propositional means. This paradigm sugg...
198
click to vote
ICONIP
1998
15 years 8 months ago
1998
The paper presents a methodology for designing the structure of a fuzzy neural network in a multi-modular connectionist system for classification purposes and illustrates the meth...
187
click to vote
PSTV
1993
15 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...