Sciweavers

3819 search results - page 570 / 764
» An Outsourcing Model of Software Development
Sort
View
167
Voted
WWW
2004
ACM
16 years 6 months ago
VersaTutor: architecture for a constraint-based intelligent tutor generator
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
Viswanathan Kodaganallur, Rob R. Weitz, David Rose...
ETRICS
2006
15 years 9 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
SERP
2004
15 years 7 months ago
A Three Level Framework for Process Support: The MOWAHS Approach
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
Alf Inge Wang, Carl-Fredrik Sørensen, Reida...
IJCV
2008
88views more  IJCV 2008»
15 years 5 months ago
On the Local Behavior of Spaces of Natural Images
In this study we concentrate on qualitative topological analysis of the local behavior of the space of natural images. To this end, we use a space of 3 by 3 high-contrast patches ...
Gunnar Carlsson, Tigran Ishkhanov, Vin de Silva, A...
KBS
2002
88views more  KBS 2002»
15 years 5 months ago
Detecting mismatches among experts' ontologies acquired through knowledge elicitation
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
Adil Hameed, Derek H. Sleeman, Alun D. Preece