2153 search results - page 322 / 431 » From Requirements Models to Formal Specifications in B |
311
click to vote
GIS
2009
ACM
16 years 8 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...
215
click to vote
SAC
2010
ACM
16 years 2 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 ...
198
click to vote
RTCSA
2005
IEEE
16 years 1 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...
192
click to vote
VISUAL
2005
Springer
16 years 1 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...
227
click to vote
W4A
2005
ACM
16 years 1 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â€...