Sciweavers

1863 search results - page 150 / 373
» Natural Language Analysis for Semantic Document Modeling
Sort
View
SAC
2005
ACM
15 years 12 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
NAACL
2010
15 years 4 months ago
Clinical Information Retrieval using Document and PICO Structure
In evidence-based medicine, clinical questions involve four aspects: Patient/Problem (P), Intervention (I), Comparison (C) and Outcome (O), known as PICO elements. In this paper w...
Florian Boudin, Jian-Yun Nie, Martin Dawes
SIGMOD
2010
ACM
149views Database» more  SIGMOD 2010»
15 years 1 months ago
On models and query languages for probabilistic processes
Probabilistic processes appear naturally in various contexts, with applications to Business Processes, XML data management and more. Many models for specifying and querying such p...
Daniel Deutch, Tova Milo
ENTCS
2006
115views more  ENTCS 2006»
15 years 6 months ago
Analyzing the Uses of a Software Modeling Tool
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz...
ENTCS
2008
87views more  ENTCS 2008»
15 years 6 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García