Sciweavers

276 search results - page 16 / 56
» Bisimulation for quantum processes
Sort
View
WSCG
2004
118views more  WSCG 2004»
13 years 10 months ago
New Method for Geometric Constraint Solving Based on the Genetic Quantum Algorithm
This paper proposes a novel genetic quantum algorithm (GQA) to solve geometric constraint problems. Instead of binary, numeric or symbolic representation, we introduce qubit chrom...
Chunhong Cao, Wenhui Li
AI
2002
Springer
13 years 8 months ago
QUANTUM: A Function-Based Question Answering System
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
Luc Plamondon, Leila Kosseim
ISCI
2000
80views more  ISCI 2000»
13 years 8 months ago
Quantum associative memory with distributed queries
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...
A. A. Ezhov, A. V. Nifanova, Dan Ventura
CORR
2008
Springer
109views Education» more  CORR 2008»
13 years 7 months ago
Characterising through Erasing: A Theoretical Framework for Representing Documents Inspired by Quantum Theory
The problem of representing text documents within an Information Retrieval system is formulated as an analogy to the problem of representing the quantum states of a physical syste...
Alvaro Francisco Huertas-Rosero, Leif Azzopardi, C...
CONCUR
1999
Springer
14 years 1 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...