1974 search results - page 176 / 395 » A Library System for Small-Scale Library |
104
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
133
click to vote
PROMAS
2005
Springer
15 years 7 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
ACRI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents information flow model and a novel artificial life grid model to construct artificial life computer ecosystem environment. The life grid model is a three-dimens...
122
click to vote
AUIC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this work we investigate building indoor location based applications for a mobile augmented reality system. We believe that augmented reality is a natural interface to visualiz...
105
click to vote
AMR
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we present NewsFlash, an adaptive search system that assists a searcher to efficiently search a library of stored TV news reports. The system automatically summarises...