Sciweavers

99 search results - page 11 / 20
» Reasoning about Topological and Positional Information in Dy...
Sort
View
KR
2010
Springer
15 years 3 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
99
Voted
ATAL
2009
Springer
15 years 5 months ago
Operators for propagating trust and their evaluation in social networks
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
Chung-Wei Hang, Yonghong Wang, Munindar P. Singh
ACSAC
2007
IEEE
15 years 5 months ago
Improving Signature Testing through Dynamic Data Flow Analysis
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
Christopher Kruegel, Davide Balzarotti, William K....
93
Voted
CHI
2007
ACM
15 years 11 months ago
A cognitive constraint model of dual-task trade-offs in a highly dynamic driving task
The paper describes an approach to modeling the strategic variations in performing secondary tasks while driving. In contrast to previous efforts that are based on simulation of a...
Duncan P. Brumby, Andrew Howes, Dario D. Salvucci
111
Voted
CVPR
2009
IEEE
16 years 6 months ago
Multiphase Geometric Couplings for the Segmentation of Neural Processes
The ability to constrain the geometry of deformable models for image segmentation can be useful when information about the expected shape or positioning of the objects in a scene i...
Amelio Vázquez Reina, Eric Miller, Hanspete...