Sciweavers

4650 search results - page 363 / 930
» Generating and evaluating evaluative arguments
Sort
View
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
15 years 11 months ago
HLS: combining statistical and symbolic simulation to guide microprocessor designs
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
VTS
2000
IEEE
108views Hardware» more  VTS 2000»
15 years 11 months ago
High-Level Observability for Effective High-Level ATPG
This paper focuses on observability, one of the open issues in High-Level test generation. Three different approximate metrics for taking observability into account during RT-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
CSCW
2000
ACM
15 years 11 months ago
Beyond bowling together
Social resources like trust and shared identity make it easier for people to work and play together. Such social resources are sometimes referred to as social capital. Thirty year...
Paul Resnick, Tora K. Bikson, Elizabeth D. Mynatt,...
SIGIR
1999
ACM
15 years 11 months ago
The Decomposition of Human-Written Summary Sentences
We define the problem of decomposing human-written summary sentences and propose a novel Hidden Markov Model solution to the problem. Human summarizers often rely on cutting and ...
Hongyan Jing, Kathleen McKeown
ICCBR
1999
Springer
15 years 11 months ago
Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study
In response to the occurrence of an air incident, controllers at one of the three Canadian Rescue Coordination Centers (RCC) must make a series of critical decisions on the appropr...
Irène Abi-Zeid, Qiang Yang, Luc Lamontagne