Sciweavers

2441 search results - page 232 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
ICST
2010
IEEE
15 years 3 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
MOMPES
2009
IEEE
16 years 1 days ago
Reliable operating modes for distributed embedded systems
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten
SIGSOFT
2010
ACM
15 years 3 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
CVPR
2008
IEEE
16 years 7 months ago
Automatic registration of aerial imagery with untextured 3D LiDAR models
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
Min Ding, Kristian Lyngbaek, Avideh Zakhor
ASSETS
2005
ACM
15 years 7 months ago
Automatic production of tactile graphics from scalable vector graphics
This paper presents a method to convert vector graphics into tactile representations for the blind. Generating tactile pictures from vector graphics is an important effort to bri...
Stephen E. Krufka, Kenneth E. Barner