4502 search results - page 371 / 901 » Regular Model Checking |
161
click to vote
AI
2004
Springer
16 years 6 days ago
2004
Springer
If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by showing...
208
click to vote
IJCAI
1993
15 years 8 months ago
1993
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...
198
Voted
TIP
2008
15 years 6 months ago
2008
Intensity inhomogeneities often occur in real-world images and may cause considerable difficulties in image segmentation. In order to overcome the difficulties caused by intensity ...
180
click to vote
PR
2002
15 years 6 months ago
2002
The satellite image deconvolution problem is ill-posed and must be regularized. Herein, we use an edge-preserving regularization model using a ' function, involving two hyper...
194
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
How do connected components evolve? What are the regularities that govern the dynamic growth process and the static snapshot of the connected components? In this work, we study pat...