Sciweavers

3443 search results - page 256 / 689
» More Algebras for Determiners
Sort
View
CHI
2008
ACM
16 years 7 months ago
Mind your p's and q's: when politeness helps and hurts in online communities
Little is known about the impact of politeness in online communities. This project combines deductive and inductive approaches to automatically model linguistic politeness in onli...
Moira Burke, Robert Kraut
RECOMB
2005
Springer
16 years 7 months ago
The Incompatible Desiderata of Gene Cluster Properties
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...
Rose Hoberman, Dannie Durand
ICSE
2004
IEEE-ACM
16 years 6 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 3 months ago
A Thermally-Aware Methodology for Design-Specific Optimization of Supply and Threshold Voltages in Nanometer Scale ICs
As CMOS technology scales deeper into the nanometer regime, factors such as leakage power and chip temperature emerge as critically important concerns for VLSI design. This paper,...
Sheng-Chih Lin, Navin Srivastava, Kaustav Banerjee
PPPJ
2009
ACM
16 years 1 months ago
Actor frameworks for the JVM platform: a comparative analysis
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
Rajesh K. Karmani, Amin Shali, Gul Agha