3557 search results - page 196 / 712 » Authoring Presentation for OpenMath |
187
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
143
click to vote
ACL
2008
15 years 8 months ago
2008
In this paper, we present a study of a novel summarization problem, i.e., summarizing the impact of a scientific publication. Given a paper and its citation context, we study how ...
133
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
We investigate the distribution functions and the moments of the so-called Choquet integral, also known as the Lov´asz extension, when regarded as a real function of a random sam...
184
click to vote
SIMVIS
2008
15 years 8 months ago
2008
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
158
click to vote
OWLED
2007
15 years 8 months ago
2007
This paper presents a brief initial look at some of the possible benefits and barriers to using OWL as the language for the development, dissemination and implementation of termin...