1356 search results - page 244 / 272 » The ideal of verified software |
EXPERT
2002
14 years 11 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
105
click to vote
PETRA
2010
ACM
14 years 10 months ago
2010
ACM
Automatic surveillance of a scene in a broad sense comprises one of the core modules of pervasive applications. Typically, multiple cameras are installed in an area to identify ev...
119
click to vote
ICPPW
2009
IEEE
14 years 9 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
115
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
102
click to vote
TCAD
2010
14 years 6 months ago
2010
Abstract--This paper presents a technology mapping algorithm for field-programmable gate array architectures with dual supply voltages (Vdds) for power optimization. This is done w...