2038 search results - page 257 / 408 » Improvements to the Psi-SSA representation |
TMRA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used t...
ACSC
2003
IEEE
15 years 6 months 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...
104
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
Task reallocation in a multi-robot organization is a process that distributes a decomposed global task to individual robots. This process must be distributed and dynamic because i...
IFL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...