Sciweavers

1016 search results - page 177 / 204
» Automatic Analysis of Programming Assignments
Sort
View
BMCBI
2006
120views more  BMCBI 2006»
13 years 7 months ago
The Virtual Insect Brain protocol: creating and comparing standardized neuroanatomy
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...
Arnim Jenett, Johannes E. Schindelin, Martin Heise...
CN
2007
168views more  CN 2007»
13 years 7 months ago
A MAC layer power management scheme for efficient energy delay tradeoff in a WLAN
— Energy efficient operation is of paramount importance for battery-powered wireless nodes. In an effort to conserve energy, standard protocols for WLANs have the provision for w...
Mahasweta Sarkar, Rene L. Cruz
ENTCS
2000
120views more  ENTCS 2000»
13 years 7 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
WWW
2007
ACM
14 years 8 months ago
AutoPerf: an automated load generator and performance measurement tool for multi-tier software systems
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
Shrirang Sudhir Shirodkar, Varsha Apte
WWW
2006
ACM
14 years 8 months ago
Generation of multimedia TV news contents for WWW
In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
Hsin-Chia Fu, Yeong-Yuh Xu, C. L. Tseng