846 search results - page 28 / 170 » The Use of Z |
ICB
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a robust and accurate system for outdoor (as well as indoor) face recognition, based on a recently developed enhanced near-infrared (ENIR) imaging device....
ARTS
1999
Springer
14 years 2 days ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
— Power gating is a circuit technique that enables high performance and low power operation. One of the challenges in power gating is sizing the sleep transistor which is used to...
DLOG
2010
13 years 5 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
A student is said to have committed a careless error when a student’s answer is wrong despite the fact that he or she knows the answer (Clements, 1982). In this paper, educationa...