Sciweavers

3787 search results - page 630 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
AIME
2005
Springer
15 years 7 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
PAKDD
2004
ACM
127views Data Mining» more  PAKDD 2004»
15 years 7 months ago
Exploiting Recurring Usage Patterns to Enhance Filesystem and Memory Subsystem Performance
In many cases, normal uses of a system form patterns that will repeat. The most common patterns can be collected into a prediction model which will essentially predict that usage p...
Benjamin Rutt, Srinivasan Parthasarathy
145
Voted
SCP
2002
112views more  SCP 2002»
15 years 1 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
TABLEAUX
2009
Springer
15 years 8 months ago
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
Rajeev Goré, Linda Postniece, Alwen Tiu
99
Voted
ICMCS
2008
IEEE
138views Multimedia» more  ICMCS 2008»
15 years 8 months ago
Phonetic and intonation enhancement of speech for Japanese hearing-impaired speakers
We propose a system that is capable of improving intelligibility of speech by those with hearing impairment. We have found the speech often had problems in the intonation, the dur...
Shogo Watanabe, Tsuyoshi Moriyama, Shinji Ozawa