2656 search results - page 339 / 532 » A general purpose animator |
162
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
165
Voted
AIME
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we report on the fusion of simple retrieval strategies with thesaural resources in order to perform large-scale text categorization tasks. Unlike most related system...
135
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
150
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
189
click to vote
ARTCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Nowadays, the transmission of digitized medical information has become very convenient due to the generality of Internet. Internet has created the biggest benefit to achieve the tr...