8719 search results - page 218 / 1744 » A Categorical Approach to Simulations |
177
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
210
click to vote
SEUS
2007
IEEE
16 years 25 days ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
165
click to vote
SYNASC
2006
IEEE
16 years 17 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
167
click to vote
ICDAR
2005
IEEE
16 years 5 days ago
2005
IEEE
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
157
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents our latest work on identifying frame content types for understanding learning media content. In particular, we categorize frames into six classes namely, slide...