Sciweavers

5210 search results - page 344 / 1042
» Tools for Distributed Facilitation
Sort
View
ENTCS
2006
185views more  ENTCS 2006»
15 years 6 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
ESWA
2006
99views more  ESWA 2006»
15 years 6 months ago
Assessing a knowledge-based approach to commercial loan underwriting
We discuss the challenges in developing decision support tools for commercial underwriting and describe how several different approaches to the underwriting problem have been addr...
Roger Kumra, Roger M. Stein, Ian Assersohn
IJET
2006
40views more  IJET 2006»
15 years 6 months ago
An open source information system for online counseling for a Mexican university
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...
Arthur Walter Edwards
IJMMS
2006
84views more  IJMMS 2006»
15 years 6 months ago
Identity and role - A qualitative case study of cooperative scenario building
In this study, we argue that users participating in the design process will form the participation as a function of their professional role, but also as a function of their identi...
David Dinka, Jonas Lundberg
KES
2008
Springer
15 years 6 months ago
A User Interface for the User-Centred Knowledge Model, t-UCK
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
Anne Håkansson