Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
In this paper,we describeanexperimental web application, Visual MeSH that supports dynamic user interaction with medical vocabulary databasesand literature databases. Visual MeSH ...
Xia Lin, Lewis Hassell, Il-Yeol Song, Tamas E. Dos...
Current video search systems commonly return video shots as results. We believe that users may better relate to longer, semantic video units and propose a retrieval framework for n...
Robin Aly, Aiden R. Doherty, Djoerd Hiemstra, Alan...
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...