3379 search results - page 34 / 676 » Combinators for Interaction Nets |
NAACL
2003
13 years 11 months ago
2003
We report on results of combining graphical modeling techniques with Information Extraction resources (Pattern Dictionary and Lexicon) for both frame and semantic role assignment....
EMISA
2002
Springer
13 years 9 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
DAC
2005
ACM
14 years 10 months ago
2005
ACM
Lowering power is one of the greatest challenges facing the IC industry today. We present a power-aware placement method that simultaneously performs (1) activity-based register c...
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
FLAIRS
1998
13 years 11 months ago
1998
This paper describes the methodology of developing multiversion systems using neural networks in the hope of improving their performance and reliability. However, a system impleme...