12981 search results - page 2084 / 2597 » Model Checking (Abstract) |
211
click to vote
RSS
2007
2007
Simultaneous Localisation and Mapping in Dynamic Environments (SLAMIDE) with Reversible Data Associa
15 years 8 months ago
Abstract— The conventional technique for dealing with dynamic objects in SLAM is to detect them and then either treat them as outliers [20][1] or track them separately using trad...
174
click to vote
WOB
2008
15 years 8 months ago
2008
Abstract. Despite the recent advances in Molecular Biology, the function of a large amount of proteins is still unknown. An approach that can be used in the prediction of a protein...
206
click to vote
CADUI
2004
15 years 8 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
203
click to vote
BIS
2006
15 years 8 months ago
2006
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
179
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...