12783 search results - page 551 / 2557 » Experimenting with computing |
179
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
165
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
180
click to vote
STORYTELLING
2007
Springer
16 years 1 months ago
2007
Springer
Storytelling capabilities are vital aspect of a tour guide. In this paper, we present a mobile tour guide that emulates a real guide’s behaviour by presenting stories based on th...
157
click to vote
FC
2007
Springer
16 years 1 months ago
2007
Springer
1 2 There is a critical need in computer security to communicate risks and thereby enable informed decisions by naive users. Yet computer security has not been engaged with the sc...
164
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Motion segmentation using feature correspondences can be regarded as a combinatorial problem. A motion segmentation algorithm using feature selection and subspace method is propos...