Sciweavers

127 search results - page 13 / 26
» On the Foundations of Computing Deltas Between RDF Models
Sort
View
COLING
2010
13 years 2 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
13 years 2 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
MFCS
2010
Springer
13 years 6 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
IWANN
2001
Springer
14 years 11 days 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...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 11 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