Sciweavers

3844 search results - page 174 / 769
» Modular interpreted systems
Sort
View
101
Voted
FLAIRS
2000
15 years 4 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
172
Voted
FROCOS
2011
Springer
14 years 3 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
116
Voted
MHCI
2004
Springer
15 years 9 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
120
Voted
EUSFLAT
2003
132views Fuzzy Logic» more  EUSFLAT 2003»
15 years 4 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
152
Voted
AIA
2006
15 years 5 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