13383 search results - page 2422 / 2677 » Abstractions from proofs |
112
Voted
CSAC
2006
15 years 2 months ago
2006
Abstract. We are interested in real time collaborative interactions within Collaborative Virtual Environments (CVE). This domain relies on the low latency offered by high speed net...
125
Voted
DLOG
2006
15 years 2 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
111
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
118
Voted
IJIT
2004
15 years 2 months ago
2004
Abstract-- Biological sequences from different species are called orthologs if they evolved from a sequence of a common ancestor species and they have the same biological function....
119
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...