2153 search results - page 322 / 431 » From Requirements Models to Formal Specifications in B |
267
click to vote
GIS
2009
ACM
16 years 7 months ago
2009
ACM
A common problem in moving object databases (MOD) is the reconstruction of a trajectory from a trajectory sample (i.e., a finite sequence of time-space points). A typical solution...
177
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
159
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
166
click to vote
VISUAL
2005
Springer
15 years 11 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
195
click to vote
W4A
2005
ACM
15 years 12 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...