909 search results - page 114 / 182 » The Development of the AQ20 Learning System and Initial Expe... |
191
click to vote
SCL
2011
14 years 8 months ago
2011
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...
148
click to vote
ICB
2007
Springer
15 years 11 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....
188
click to vote
PRDC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
150
click to vote
IJCNN
2008
IEEE
15 years 12 months ago
2008
IEEE
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
207
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...