Sciweavers

5114 search results - page 785 / 1023
» Learning for Evolutionary Design
Sort
View
ICADL
2007
Springer
75views Education» more  ICADL 2007»
16 years 23 days ago
Supporting Student Collaboration for Image Indexing
We describe the Image Tagger system – a web-based tool for supporting collaborative image indexing by students. The tool has been used in three successive graduate-level classes ...
Palakorn Achananuparp, Katherine W. McCain, Robert...
RE
2007
Springer
16 years 22 days ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...
FGR
2006
IEEE
159views Biometrics» more  FGR 2006»
16 years 20 days ago
A Near-infrared Image Based Face Recognition System
In this paper, we present a near infrared (NIR) image based face recognition system. Firstly, we describe a design of NIR image capture device which minimizes influence of enviro...
Stan Z. Li, Lun Zhang, ShengCai Liao, XiangXin Zhu...
ACMSE
2006
ACM
16 years 18 days ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
DAC
2006
ACM
16 years 18 days ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao