2253 search results - page 246 / 451 » The ComFoRT Reasoning Framework |
111
Voted
IFIPTCS
2010
14 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ICCV
2009
IEEE
14 years 8 months ago
2009
IEEE
We show that multi-path analysis using images from a timeof-flight (ToF) camera provides a tantalizing opportunity to infer about 3D geometry of not only visible but hidden parts ...
112
Voted
ICSM
2009
IEEE
14 years 8 months ago
2009
IEEE
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...
102
Voted
INFORMATICASI
2010
14 years 8 months ago
2010
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
120
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...