15754 search results - page 591 / 3151 » Programs are Knowledge Bases |
192
click to vote
ICAISC
2004
Springer
16 years 17 days ago
2004
Springer
The advent of the Internet has strongly influenced modern software systems. Existing intranet solutions are being gradually replaced with www services available everywhere and at ...
196
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
267
click to vote
AGP
2003
IEEE
16 years 15 days ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
267
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
228
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The global shape prior knowledge has been exploited by many image segmentation approaches in order to improve segmentation results when there are such problems as occlusion, clutt...