8697 search results - page 1596 / 1740 » An Approach to the Enterprise Integration |
178
click to vote
GI
2005
Springer
16 years 1 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
199
click to vote
ICMI
2005
Springer
16 years 1 days ago
2005
Springer
Tracking speakers in multiparty conversations constitutes a fundamental task for automatic meeting analysis. In this paper, we present a probabilistic approach to jointly track th...
181
click to vote
SAT
2005
Springer
16 years 12 hour ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
154
click to vote
SIGADA
2005
Springer
16 years 10 hour ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
212
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
XML Topic maps enable multiple, concurrent views of sets of information objects and can be used to different applications. For example, thesaurus-like interfaces to corpora, navig...