8828 search results - page 1549 / 1766 » Formal methods in practice |
153
click to vote
IJCV
2007
15 years 4 months ago
2007
The paper first traces the image-based modeling back to feature tracking and factorization that have been developed in the group led by Kanade since the eighties. Both feature tra...
139
click to vote
SIGKDD
2008
15 years 4 months ago
2008
This paper outlines a retail sales prediction and product recommendation system that was implemented for a chain of retail stores. The relative importance of consumer demographic ...
134
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
137
click to vote
IJVR
2007
15 years 4 months ago
2007
—The International Conference (series) on Disability, Virtual Reality and Associated Technologies (ICDVRAT) this year held its sixth biennial conference, celebrating ten years of...
140
click to vote
TC
2008
15 years 4 months ago
2008
In this contribution we introduce a low-complexity bit-parallel algorithm for computing square roots over binary extension fields. Our proposed method can be applied for any type ...