Sciweavers

193 search results - page 32 / 39
» Process Diagnostics
Sort
View
FORTE
2004
14 years 11 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
ECIS
2003
14 years 11 months ago
The adoption of information systems in SMEs: organizational issues and success factors
This research approaches the issues of introducing ICTs (Information and Communication Technologies) into Small and Medium Enterprises, with the aim of finding some conditions tha...
Angelo Caruso, Michela Marchiori
JMM2
2008
124views more  JMM2 2008»
14 years 9 months ago
Integrated Feature Selection and Clustering for Taxonomic Problems within Fish Species Complexes
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
Huimin Chen, Henry L. Bart Jr., Shuqing Huang
KER
2008
103views more  KER 2008»
14 years 9 months ago
A context-sensitive framework for lexical ontologies
Human categorization is neither a binary nor a context-free process. Rather, the criteria that govern the use and recognition of certain concepts may be satisfied to different deg...
Tony Veale, Yanfen Hao
ARTMED
2004
98views more  ARTMED 2004»
14 years 9 months ago
WeAidU - a decision support system for myocardial perfusion images using artificial neural networks
This paper presents a computer-based decision support system for automated interpretation of diagnostic heart images (called WeAidU), which is made available via the Internet. The...
Mattias Ohlsson