4184 search results - page 613 / 837 » A Data Transformation System for Biological Data Sources |
175
click to vote
AINA
2005
IEEE
16 years 5 days ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
134
click to vote
HAPTICS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper introduces the Multisense idea, with a special reference to the use of Haptics in the medical field and, in particular, in the planning of total hip replacement surgery...
169
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
149
click to vote
C5
2009
IEEE
15 years 11 months ago
2009
IEEE
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
175
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...