506 search results - page 32 / 102 » A Model of Knower-Level Behavior in Number Concept Developme... |
IJCAI
1989
13 years 8 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
JUCS
2007
13 years 7 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
WSC
2007
13 years 10 months ago
2007
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
INFSOF
2007
13 years 7 months ago
2007
The incorporation of social issues in software engineering is limited. Still, during the last 20 years the social element inherent in software development has been addressed in a ...