8719 search results - page 218 / 1744 » A Categorical Approach to Simulations |
111
Voted
LICS
2007
IEEE
15 years 8 months 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 ...
137
click to vote
SEUS
2007
IEEE
15 years 8 months 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...
115
click to vote
SYNASC
2006
IEEE
15 years 7 months 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...
111
click to vote
ICDAR
2005
IEEE
15 years 7 months 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...
99
Voted
ICMCS
2005
IEEE
15 years 7 months 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...