1677 search results - page 163 / 336 » On the Completeness of Quantum Computation Models |
168
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Both example-based and model-based approaches for classifying contour shapes can encounter difficulties when dealing with classes that have large nonlinear variability, especially...
149
click to vote
IEEESCC
2007
IEEE
16 years 26 days ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
158
click to vote
CIE
2007
Springer
16 years 22 days ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
165
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
194
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...