3147 search results - page 22 / 630 » Open-Source Model Checking |
FBT
2000
13 years 9 months ago
2000
ELPUB
2006
ACM
2006
ACM
Weaving the Web of Science. HyperJournal and the Impact of the Semantic Web on Scientific Publishing
14 years 1 months ago
In this paper we present HyperJournal, an Open Source web application for publishing on-line Open Access scholarly journals. In the first part (sections 1-3) we briefly describe t...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
This paper presents two extensions for XQuery. The first extension allows the definition and processing of different kinds of windows over an input sequence; i.e., tumbling, slidi...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...
LREC
2008
13 years 9 months ago
2008
This paper presents MISTRAL, an open source statistical machine translation decoder dedicated to spoken language translation. While typical machine translation systems take a writ...