17366 search results - page 135 / 3474 » New Revision Algorithms |
138
click to vote
IEEEICCI
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
151
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...
128
click to vote
AIIDE
2008
15 years 6 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
134
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
133
click to vote
CLIMA
2010
15 years 2 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...