439 search results - page 78 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
ACMDIS
2004
ACM
14 years 2 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...