Sciweavers

2944 search results - page 390 / 589
» On Well Quasi-orders on Languages
Sort
View
IJCAI
2007
15 years 8 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
MIE
2008
111views Healthcare» more  MIE 2008»
15 years 8 months ago
Syntactical Negation Detection in Clinical Practice Guidelines
In clinical practice guidelines (CPGs) the medical information is stored in a narrative way. A large part of this information occurs in a negated form. The detection of negation in...
Stefan Gindl, Katharina Kaiser, Silvia Miksch
OPODIS
2008
15 years 8 months ago
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
Nikola Trcka, Wil M. P. van der Aalst, Carmen Brat...
OWLED
2008
15 years 8 months ago
Owlgres: A Scalable OWL Reasoner
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
Markus Stocker, Michael Smith
NAACL
2007
15 years 8 months ago
Advances in the CMU/Interact Arabic GALE Transcription System
This paper describes the CMU/InterACT effort in developing an Arabic Automatic Speech Recognition (ASR) system for broadcast news and conversations within the GALE 2006 evaluation...
Mohamed Noamany, Thomas Schaaf, Tanja Schultz