137 search results - page 24 / 28 » An Approach to Reasoning About Continuous Change for Applica... |
ENVSOFT
2007
13 years 8 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
MICAI
2000
Springer
14 years 4 days ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
JNCA
2007
13 years 8 months ago
2007
Intelligent, server-side adaptation of multimedia resources is becoming increasingly important and challenging for two reasons. First, the market continuously brings up new mobile...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Recent research has identified significant vulnerabilities in recommender systems. Shilling attacks, in which attackers introduce biased ratings in order to influence future recom...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...