2963 search results - page 110 / 593 » An architecture for generic extensions |
165
click to vote
ACSC
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
151
Voted
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
172
click to vote
ICAI
2003
15 years 8 months ago
2003
In our research, we have developed an architecture and computational structure that allows for a generic team of robots to dynamically discern what their capabilities are and then...
163
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
150
click to vote
CBSE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...