Sciweavers

127 search results - page 13 / 26
» On the Foundations of Computing Deltas Between RDF Models
Sort
View
COLING
2010
14 years 6 months ago
Chinese Frame Identification using T-CRF Model
As one of the important tasks of SemEval Evaluation, Frame Semantic Structure Extraction based on the FrameNet has received much more attention in NLP field. This task is often di...
Ru Li, Haijing Liu, Shuanghong Li
ECEASST
2010
14 years 6 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
85
Voted
MFCS
2010
Springer
14 years 10 months ago
Resource Combinatory Algebras
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
91
Voted
IWANN
2001
Springer
15 years 4 months ago
Verifying Properties of Neural Networks
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
Pedro Rodrigues, José Félix Costa, H...
78
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 3 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis