2340 search results - page 209 / 468 » Second quarter 2008 |
162
click to vote
IJVR
2007
15 years 6 months ago
2007
—This paper reports on the results of an experiment designed to study fine grain physiological responses of participants to an immersive virtual simulation of an urban environmen...
193
click to vote
IJWIS
2007
15 years 6 months ago
2007
: Purpose — To measure the exact size of the World Wide Web (i.e., a census). The measure used is the number of publicly accessible web servers on port 80. Design/methodology/app...
154
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
190
click to vote
TCAD
2008
15 years 6 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
146
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
This paper is concerned with an employee scheduling problem involving multiple shifts and work centers, where employees belong to a hierarchy of categories having downward substitu...