Sciweavers

628 search results - page 41 / 126
» The numerical evaluation of a challenging integral
Sort
View
ICPR
2002
IEEE
14 years 10 months ago
A Ball Detection Algorithm for Real Soccer Image Sequences
A large number of methods for circle detection has been studied in the last years for numerous image processing applications. The application domain considered in this paper is th...
Tiziana D'Orazio, Nicola Ancona, Grazia Cicirelli,...
ICRA
2008
IEEE
158views Robotics» more  ICRA 2008»
14 years 3 months ago
Informed visual search: Combining attention and object recognition
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
Per-Erik Forssén, David Meger, Kevin Lai, S...
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 7 months ago
Boxes: A Symbolic Abstract Domain of Boxes
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...
Arie Gurfinkel, Sagar Chaki
CCS
2010
ACM
13 years 7 months ago
Assessing trust in uncertain information using Bayesian description logic
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
Achille Fokoue, Mudhakar Srivatsa, Robert Young
ECLIPSE
2004
ACM
14 years 2 months ago
Developing marking support within Eclipse
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
Del Myers, Elizabeth Hargreaves, Jody Ryall, Suzan...