2836 search results - page 67 / 568 » Towards Hovering Information |
MKM
2007
Springer
14 years 3 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
Online community sites have replaced the traditional means of keeping a community informed via libraries and publishing. At present, online communities are islands that are not int...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Tracking technologies use pervasive information systems to scan and record the location of individuals and to transfer information about them to and from a central database. One p...
KR
1994
Springer
14 years 28 days ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....