6201 search results - page 104 / 1241 » Implementation of Axiomatic Language |
149
click to vote
CSDA
2006
15 years 4 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
196
click to vote
HIS
2009
15 years 1 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
107
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we investigate the opportunities offered by floatingpoint arithmetics in enabling an assembly and intrinsics free highlevel language based development. We compare ...
129
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
127
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...