Sciweavers

1075 search results - page 95 / 215
» The QUANTUM Question Answering System
Sort
View
SFP
2000
15 years 1 months ago
Detecting common elements of types
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
Manfred Widera, Christoph Beierle
USS
2008
15 years 2 months ago
Research Challenges for the Security of Control Systems
In this paper we attempt to answer two questions: (1) Why should we be interested in the security of control systems? And (2) What are the new and fundamentally different requirem...
Alvaro A. Cárdenas, Saurabh Amin, Shankar S...
ICEIS
1999
IEEE
15 years 4 months ago
A Method for Integrating Legacy Systems within Distributed Object Architecture
: The ability of a new technology to reuse legacy systems is very important for its economic success. This paper presents a method for integrating legacy systems within distributed...
Matjaz B. Juric, Ivan Rozman, Marjan Hericko
AIIA
2007
Springer
15 years 6 months ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
IV
2005
IEEE
76views Visualization» more  IV 2005»
15 years 5 months ago
Multidimensional Visualization of Transition Systems
Transition systems are graphs and it is natural to consider their visual representation as a graph visualization problem. They also pose an interesting multidimensional visualizat...
A. Johannes Pretorius, Jarke J. van Wijk