6693 search results - page 844 / 1339 » Methods of Automatic Algorithm Generation |
177
Voted
AVSS
2009
IEEE
16 years 29 days ago
2009
IEEE
—Millions of surveillance cameras record video around the clock, producing huge video archives. Even when a video archive is known to include critical activities, finding them i...
174
click to vote
RTAS
2009
IEEE
16 years 26 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
181
click to vote
ICECCS
2009
IEEE
16 years 24 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
145
click to vote
ADC
2009
Springer
16 years 23 days ago
2009
Springer
Due to the popularity of mobile devices, more and more commercial applications have been developed on these devices. While commercial applications are mostly backed by relational ...
162
click to vote
BIBE
2008
IEEE
16 years 19 days ago
2008
IEEE
— The aim of this work is to propose a new approach for the determination of the design matrix in fMRI experiments. The design matrix embodies all available knowledge about exper...