3239 search results - page 487 / 648 » A Logical Process Calculus |
116
click to vote
ENC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
114
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
104
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
118
Voted
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report an innovative solely optical architecture to implement the centralized wavelength conversion module of the CWC (Controlled Wavelength Conversion) protocol [1]. The propo...
148
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...