Sciweavers

2552 search results - page 274 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
WOSP
2000
ACM
14 years 19 days ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
SPIN
2007
Springer
14 years 2 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
COOPIS
2002
IEEE
14 years 1 months ago
Towards Ontological Foundations for UML Conceptual Models
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
Giancarlo Guizzardi, Heinrich Herre, Gerd Wagner
HICSS
2003
IEEE
173views Biometrics» more  HICSS 2003»
14 years 1 months ago
An Activity-Based Model of Collective Knowledge
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
Helen Hasan
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
14 years 2 months ago
Model-Based Nonlinear Observers for Underwater Vehicle Navigation: Theory and Preliminary Experiments
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
James C. Kinsey, Louis L. Whitcomb