3745 search results - page 125 / 749 » Sonic: System Description |
245
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
160
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the handwriting recognition competition held at ICDAR 2009. This competition is based on the RIMES-database, with French written text documents. These documen...
164
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
195
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
154
click to vote
PDPTA
2000
15 years 7 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...