Sciweavers

1617 search results - page 272 / 324
» Knowledge Condition Games
Sort
View
ESOP
2007
Springer
14 years 1 months ago
A Certified Lightweight Non-interference Java Bytecode Verifier
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
Gilles Barthe, David Pichardie, Tamara Rezk
3DPVT
2004
IEEE
141views Visualization» more  3DPVT 2004»
14 years 28 days ago
Exploitation of 3D Images for Face Authentication Under Pose and Illumination Variations
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
Filareti Tsalakanidou, Sotiris Malassiotis, Michae...
ACSC
2004
IEEE
14 years 28 days ago
Adaptive Cooperative Fuzzy Logic Controller
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
Justin Ammerlaan, David Wright
COOPIS
2004
IEEE
14 years 28 days ago
Intellectual Property Rights Management Using a Semantic Web Information System
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
Roberto García, Rosa Gil, Jaime Delgado
ECTEL
2006
Springer
14 years 26 days ago
Simulation as Efficient Support to Learning Business Dynamics
Abstract. The aim of this paper is to provide insight in the important role simulation technologies can play in the context of effective business process-oriented learning. The gap...
Alexander Karapidis, Lucia Pannese, Dimitra Pappa,...