Sciweavers

7075 search results - page 165 / 1415
» Models and heterogeneous reasoning
Sort
View
CLIMA
2006
15 years 5 months ago
Answer Set Programming for Representing and Reasoning About Virtual Institutions
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
Owen Cliffe, Marina De Vos, Julian A. Padget
ATAL
2010
Springer
15 years 5 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ASE
1998
81views more  ASE 1998»
15 years 3 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
ER
2010
Springer
121views Database» more  ER 2010»
15 years 2 months ago
Reasoning with Optional and Preferred Requirements
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
Neil A. Ernst, John Mylopoulos, Alexander Borgida,...
CVPR
2005
IEEE
16 years 6 months ago
Object Class Recognition Using Multiple Layer Boosting with Heterogeneous Features
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...
Wei Zhang 0002, Bing Yu, Gregory J. Zelinsky, Dimi...