1650 search results - page 217 / 330 » The HOM problem is decidable |
158
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
145
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
186
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
154
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
165
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
Tracking linear features through tensor field datasets is an open research problem with widespread utility in medical and engineering disciplines. Existing tracking methods, which...