Sciweavers

7961 search results - page 6 / 1593
» Input-Output Model Programs
Sort
View

Book
594views
15 years 5 months ago
A Gentle Introduction to Haskell
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes Monads,...
Paul Hudak, John Peterson, Joseph Fasel
COOPIS
2004
IEEE
13 years 11 months ago
Comparing Approaches for Semantic Service Description and Matchmaking
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
Sven Schade, Arnd Sahlmann, Michael Lutz, Florian ...
RTSS
2003
IEEE
14 years 20 days ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
IUI
2004
ACM
14 years 24 days ago
Sheepdog: learning procedures for technical support
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
Tessa A. Lau, Lawrence D. Bergman, Vittorio Castel...
EUSFLAT
2001
111views Fuzzy Logic» more  EUSFLAT 2001»
13 years 8 months ago
Fuzzy model based sliding mode control of a linear precision motion control system
A method of sliding mode control based on a fuzzy model identified through input output data is presented. In this approach the advantages of the sliding mode control technique ar...
Matthew J. Knight, Robert Sutton, David F. Jenkins