Sciweavers

3844 search results - page 174 / 769
» Modular interpreted systems
Sort
View
FLAIRS
2000
15 years 7 months ago
Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar
This paper presents a model for representing the pro ciency of users in a CALL system by recording their performance on speci c grammatical features. The model will be used both t...
Lisa N. Michaud, Kathleen F. McCoy
FROCOS
2011
Springer
14 years 6 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
MHCI
2004
Springer
15 years 11 months ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith
EUSFLAT
2003
132views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
Modeling high interest areas in descriptive TS fuzzy rule based systems
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...
Ingo Renners, Adolf Grauel
AIA
2006
15 years 7 months ago
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Roberto Micalizio, Pietro Torasso, Gianluca Torta