5695 search results - page 888 / 1139 » Using Many Cameras as One |
216
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
128
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Despite the progress of the last decades in electronic design automation, arithmetic circuits have always received way less attention than other classes of digital circuits. Logic...
184
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
Energy use in the home is a topic of increasing interest and concern, and one on which technology can have a significant impact. However, existing work typically focuses on modera...
184
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Linear Discriminant Analysis (LDA) is a well-known and important tool in pattern recognition with potential applications in many areas of research. The most famous and used formul...
194
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Although a considerable amount of work has been published on material classification, relatively little of it studies situations with considerable variation within each class. Man...