7335 search results - page 219 / 1467 » Scene Based Reasoning |
146
Voted
LOGCOM
1998
15 years 3 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
129
Voted
IJCSA
2010
15 years 2 months ago
2010
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
140
Voted
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
115
Voted
KR
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
133
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
The objective of image stabilization is to prevent or remove the motion blur degradation from images. We introduce a new approach to image stabilization based on combining informa...