2988 search results - page 480 / 598 » Interacting with Web Hierarchies |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
NIME
2005
Springer
14 years 2 months ago
2005
Springer
We present a novel way of manipulating a spatial soundscape, one that encourages collaboration and exploration. Through a table-top display surrounded by speakers and lights, part...
LAWEB
2003
IEEE
14 years 2 months ago
2003
IEEE
This work presents a method for automatic generate suggestions of related queries submitted to Web search engines. The method extracts information from the log of past submitted q...
HPDC
2002
IEEE
14 years 1 months ago
2002
IEEE
Developers and users of high-performance distributed systems often observe performance problems such as unexpectedly low throughput or high latency. Determining the source of the ...
AISC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...