1326 search results - page 5 / 266 » Increasing Productivity at Saturn |
70
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
CRIWG
2004
14 years 10 months ago
2004
Abstract. This work presents a middleware for collaborative applications that increase product and workspace awareness information available to users of computer-aided software eng...
HCI
2009
14 years 7 months ago
2009
Recently, simulation-based ergonomic assessments for handheld products, such as mobile phones, have seen a growing interest and have been increasingly studied. In these studies, th...
IANDC
2010
14 years 6 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
106
click to vote
PAMI
2011
14 years 4 months ago
2011
— This paper introduces a product quantization based approach for approximate nearest neighbor search. The idea is to decomposes the space into a Cartesian product of low dimensi...