866 search results - page 122 / 174 » A Formal Investigation of |
103
click to vote
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
107
click to vote
ADBIS
2003
Springer
15 years 5 months ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...
129
click to vote
CBSQ
2003
Springer
15 years 5 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
103
click to vote
ERCIMDL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...