700 search results - page 124 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
ICVS
2003
Springer
15 years 3 months ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
VEE
2005
ACM
15 years 3 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
KI
2002
Springer
14 years 9 months ago
2002
Springer
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...