846 search results - page 77 / 170 » The Use of Z |
FGR
2004
IEEE
14 years 26 days ago
2004
IEEE
This paper presents an approach to face alignment under variable illumination, an obstacle largely ignored in previous 2D alignment work. To account for illumination variation, ou...
FGR
2004
IEEE
14 years 26 days ago
2004
IEEE
Faces under varying illumination, pose and non-rigid deformation are empirically thought of as a highly nonlinear manifold in the observation space. How to discover intrinsic low-...
FM
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
ICDT
1995
ACM
14 years 20 days ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
AAAI
2010
13 years 10 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...