Sciweavers

330 search results - page 33 / 66
» A Unifying Version-Space Representation
Sort
View
ICIP
2001
IEEE
15 years 16 days ago
Color image coding, indexing and retrieval using binary space partitioning tree
This paper presents a unified approach to colour image coding, content-based indexing, and retrieval for database applications. The binary space partitioning (BSP) tree, tradition...
Guoping Qiu, S. Sudirman
CCS
2009
ACM
14 years 11 months ago
Formalizing information security knowledge
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
Stefan Fenz, Andreas Ekelhart
CAV
2004
Springer
93views Hardware» more  CAV 2004»
14 years 4 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
FGR
2004
IEEE
143views Biometrics» more  FGR 2004»
14 years 2 months ago
Video-Rate Capture of Dynamic Face Shape and Appearance
This paper presents a system for simultaneous capture of video sequences of face shape and colour appearance. Shape capture uses a projected infra-red structured light pattern tog...
Ioannis A. Ypsilos, Adrian Hilton, Simon Rowe
FOIS
2010
14 years 12 days ago
Founding properties on measurement
Abstract. Taking for granted an ontological standpoint independent of any empirical or epistemological perspective, philosophical theories of properties are actually quite rarely a...
Claudio Masolo