Sciweavers

671 search results - page 40 / 135
» On Observing and Constraining Active Systems
Sort
View
JAIR
2010
165views more  JAIR 2010»
13 years 8 months ago
A Model-Based Active Testing Approach to Sequential Diagnosis
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
PLDI
2009
ACM
14 years 4 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
IROS
2008
IEEE
167views Robotics» more  IROS 2008»
14 years 4 months ago
Active rough shape estimation of unknown objects
— This paper presents a method to determine the rough shape of an object. This is a step in the development of a ”One Click Grasping Tool”, a grasping tool of everyday-life o...
Claire Dune, Éric Marchand, Christophe Coll...
ISVC
2007
Springer
14 years 3 months ago
Learning to Recognize Complex Actions Using Conditional Random Fields
Surveillance systems that operate continuously generate large volumes of data. One such system is described here, continuously tracking and storing observations taken from multiple...
Christopher I. Connolly
EXPERT
2000
58views more  EXPERT 2000»
13 years 9 months ago
Social Constraints on Animate Vision
Our group builds robots to operate in natural, social environments. The challenge of interacting with humans constrains how our robots appear physically, how they move, how they p...
Cynthia Breazeal, Aaron Edsinger, Paul M. Fitzpatr...