1026 search results - page 132 / 206 » A Methodology for Equational Reasoning |
160
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
204
click to vote
WSC
2007
15 years 8 months ago
2007
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
194
click to vote
CSCLP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
145
click to vote
ER
2008
Springer
15 years 7 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
128
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...