191 search results - page 9 / 39 » Adapting Mathematical Domain Reasoners |
136
Voted
AMT
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents an integrative agent model for adaptive human-aware information presentation. Within the agent model, meant to support humans in demanding tasks, a domain model...
137
Voted
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
127
Voted
TCSV
2008
15 years 3 months ago
2008
Watermark resistance to geometric attacks is an important issue in the image watermarking community. Most countermeasures proposed in the literature usually focus on the problem of...
116
click to vote
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
149
click to vote
BRAIN
2010
Springer
15 years 11 days ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...