Sciweavers

379 search results - page 27 / 76
» The Graham-Knowlton Problem Revisited
Sort
View
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
14 years 27 days ago
Revisiting the Firewall Abolition Act
Mobility and the New Global Economy are accompanied by requirements for dynamism and flexibility, with respect to e-commerce, inter-organizational activity, and security. The clas...
Philip Robinson, Jochen Haller
CONCUR
2001
Springer
14 years 3 days ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
JELIA
2010
Springer
13 years 6 months ago
Stable Belief Sets Revisited
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
Costas D. Koutras, Yorgos Zikos
ICRA
2006
IEEE
72views Robotics» more  ICRA 2006»
14 years 1 months ago
Multi-robot Boundary Coverage with Plan Revision
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
Kjerstin Williams, Joel Burdick
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 5 months ago
Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
Vasileios Zografos, Bernard F. Buxton