Search Sciweavers | Sciweavers

9145 search results - page 164 / 1829

» Description Logic Systems

124

click to vote

PAPM
2001
Springer

107views Mathematics» more PAPM 2001»

MoDeST - A Modelling and Description Language for Stochastic Timed Systems

15 years 10 months ago

Download wwwhome.cs.utwente.nl

This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...

Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...

claim paper

Read More »

161

click to vote

IPPS
2007
IEEE

101views Distributed And Parallel Com...» more IPPS 2007»

Shrack: Description and Performance Evaluation of a Peer-to-Peer System for Document Sharing and Tracking using Pull-Only Inform

15 years 11 months ago

Download www.cecs.uci.edu

Shrack is a peer-to-peer framework for document sharing and tracking. Shrack peers provide support to researchers in forming direct collaboration in autonomous sharing and keeping...

Hathai Tanta-ngai, Vlado Keselj, Evangelos E. Mili...

claim paper

Read More »

177

click to vote

MUC
1992

121views Natural Language Processing» more MUC 1992»

GE NLToolset: description of the system as used for MUC-4

15 years 9 months ago

Download www.aclweb.org

The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...

George B. Krupka, Paul S. Jacobs, Lisa F. Rau, Loi...

claim paper

Read More »

106

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

16 years 8 days ago