1677 search results - page 127 / 336 » On the Completeness of Quantum Computation Models |
143
click to vote
DIS
1998
Springer
15 years 10 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...
184
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
171
click to vote
ACIVS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper, we introduce a novel evolution-based segmentation algorithm by using the heat flow analogy, to gain practical advantage. The proposed algorithm consists of...
133
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new multiresolution analysis framework for irregular meshes with attributes based on the lifting scheme. We introduce a surface prediction operator to compute the det...
194
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...