1757 search results - page 67 / 352 » Alternating Refinement Relations |
203
click to vote
DEBU
2007
15 years 16 days ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
118
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
111
Voted
WG
1994
Springer
15 years 4 months ago
1994
Springer
The goal of a fugitive-search game on a graph is to trap a fugitive that hides on the vertices of the graph by systematically placing searchers on the vertices. The fugitive is as...
115
Voted
TOH
2008
15 years 14 days ago
2008
We investigate the potential role of haptics in augmenting the visualization of climate data. In existing approaches to climate visualization, different dimensions of climate data...
123
click to vote
ENTCS
2006
15 years 18 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...