1026 search results - page 187 / 206 » A Methodology for Equational Reasoning |
94
Voted
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
132
Voted
ICIA
2007
15 years 4 months ago
2007
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
133
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present the internal architecture and bidding mechanisms designed for Mertacor, a successful trading agent, which ended up first in the Classic Trading Agent Comp...
143
Voted
AAAI
1996
15 years 3 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
144
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...