Sciweavers

4378 search results - page 604 / 876
» On the Complexity of Ordered Colourings
Sort
View
ICIAP
1999
ACM
15 years 11 months ago
SAR Image Processing Using Artificial Intelligence Planning
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
Forest Fisher, Steve A. Chien, Edisanter Lo, Ronal...
ICLP
1999
Springer
15 years 11 months ago
Computing Large and Small Stable Models
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...
Miroslaw Truszczynski
IEAAIE
1999
Springer
15 years 11 months ago
Modelling Fuzzy Sets Using Object-Oriented Techniques
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
Gary Yat Chung Wong, Hon Wai Chun
IWAI
1999
Springer
15 years 11 months ago
Redesigning the Agents' Decision Machinery
In a multi-agent system, agents must decide what to do and by what order. Autonomy is a key notion in such a system, since it is mainly the autonomy of the agents that makes the en...
Luis Antunes, Helder Coelho
ICNP
1998
IEEE
15 years 11 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller