Sciweavers

1459 search results - page 70 / 292
» Tool Supported Development of Service-Based Systems
Sort
View
DSVIS
1998
Springer
15 years 7 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
149
Voted
IWANN
1995
Springer
15 years 7 months ago
EL-SIM: a Development Environment for Neuro-Fuzzy Intelligent Controllers
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
Marcello Chiaberge, G. Di Bene, S. Di Pascoli, R. ...
115
Voted
ISMIR
2000
Springer
132views Music» more  ISMIR 2000»
15 years 7 months ago
Optical Music Recognition System within a Large-Scale Digitization Project
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...
G. Sayeed Choudhury, M. Droetboom, Tim DiLauro, Ic...
139
Voted
CHI
1995
ACM
15 years 7 months ago
The ScienceWare Modeler: a learner-centered tool for students building models
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
Shari L. Jackson
144
Voted
BTW
2007
Springer
236views Database» more  BTW 2007»
15 years 7 months ago
A Classification of Schema Mappings and Analysis of Mapping Tools
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
Frank Legler, Felix Naumann