11462 search results - page 503 / 2293 » Developing Application-Centric Methods |
179
click to vote
RAS
2010
15 years 5 months ago
2010
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
200
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
171
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...
189
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
186
click to vote
TIFS
2010
15 years 5 months ago
2010
JPEG is one of the most extensively used image formats. Understanding the inherent characteristics of JPEG may play a useful role in digital image forensics. In this paper, we int...