1757 search results - page 126 / 352 » Integrating and Extending JCSP |
VVS
1992
IEEE
15 years 2 months ago
1992
IEEE
Current techniques for direct volume visualization offer only the ability to examine scalar fields. However most scientific explorations require the examination of vector and poss...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
APN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
ARGMAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
102
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...