19130 search results - page 332 / 3826 » Modelling multi-path problems |
140
click to vote
TOC
2008
15 years 6 months ago
2008
Abstract: We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time propor...
150
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
160
click to vote
RE
2007
Springer
16 years 25 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
183
click to vote
IVC
2010
15 years 5 months ago
2010
Active Appearance Model (AAM) represents the shape and appearance of an object via two low-dimensional subspaces, one for shape and one for appearance. AAM for facial images is cu...
198
click to vote
MTV
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...