1742 search results - page 62 / 349 » An Applicative Module Calculus |
97
Voted
JUCS
2010
14 years 7 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
102
Voted
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
72
Voted
ISSAC
2005
Springer
15 years 6 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
98
Voted
JOLLI
2008
15 years 22 days ago
2008
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
96
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...