3103 search results - page 226 / 621 » Managing Concern Interfaces |
CIKM
2008
Springer
14 years 11 days ago
2008
Springer
Blog search has not yet reached its full potential. In this position paper, we suggest that more could be done to accommodate the task of finding good blogs to read, especially wi...
GIS
2002
ACM
13 years 10 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
IUI
2011
ACM
13 years 1 months ago
2011
ACM
As people accumulate hundreds of “friends” in social media, a flat list of connections becomes unmanageable. Interfaces agnostic to social structure hinder the nuanced sharin...
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
XML support is being added to existing database management systems (DBMSs) and native XML systems are being developed both in industry and in academia. The individual performance ...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...