4616 search results - page 92 / 924 » Beyond relational databases |
130
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
143
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
140
click to vote
SG
2009
Springer
15 years 11 months ago
2009
Springer
TagClouds is a popular visualization for the collaborative tags. However it has some instinct problems such as linguistic issues, high semantic density and poor understanding of hi...
125
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
136
click to vote
DOLAP
2004
ACM
15 years 10 months ago
2004
ACM
During the last ten years the approach to business management has deeply changed, and companies have understood the importance of enforcing achievement of the goals defined by the...