Sciweavers

4902 search results - page 213 / 981
» Multi-agent Systems Methodology
Sort
View
98
Voted
ISSAC
1990
Springer
83views Mathematics» more  ISSAC 1990»
15 years 9 months ago
Resolution Proof Systems with Weak Transformation Rules
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
Zbigniew Stachniak
128
Voted
CBMS
2009
IEEE
15 years 12 months ago
eHealth personalization in the next generation RPM systems
In this work we present a possible next generation Remote patient management (RPM) system that enables personalization of educational content and its delivery to patients and intr...
Aleksandra Tesanovic, Goran Manev, Mykola Pecheniz...
128
Voted
DEXAW
1999
IEEE
94views Database» more  DEXAW 1999»
15 years 9 months ago
Reuse, Validation and Verification of System Development Processes
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
Peter J. Funk, Ivica Crnkovic
128
Voted
NAACL
1994
15 years 6 months ago
Towards Better NLP System Evaluation
This paper considers key elements of evaluation methodology, indicating the many points involved and advocating an unpacking approach in specifying an evaluation remit and design....
Karen Sparck Jones
151
Voted
TSMC
2010
14 years 11 months ago
A Novel Colored Fluid Stochastic Petri Net Simulation Model for Reliability Evaluation of Wind/PV/Diesel Small Isolated Power Sy
This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...
Yiannis A. Katsigiannis, Pavlos S. Georgilakis, Ge...