4755 search results - page 700 / 951 » An Implementation Model for Collaborative Applications |
152
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
The purpose of visualization is not just to depict data, but to gain or present insight into the domain represented in data. However in visualization systems, this link between fe...
185
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
154
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we describe Surflex, a programmable surface for the design and visualization of physical forms. Surflex combines the physical properties of shape-memory alloy and fo...
194
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
181
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...