950 search results - page 139 / 190 » Machine semantics |
119
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
110
Voted
MLMI
2004
Springer
15 years 8 months ago
2004
Springer
As the amount of multimodal meetings data being recorded increases, so does the need for sophisticated mechanisms for accessing this data. This process is complicated by the diffe...
91
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
139
Voted
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Due to the problem of information overload, locating relevant Web portals precisely based on user requirements is quite an essential task. As the need for application-to-applicatio...
127
Voted
ICVS
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...