9110 search results - page 268 / 1822 » Formally-Based Design Evaluation |
159
click to vote
SIGOPS
2010
15 years 1 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
167
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Research in the speaker recognition community has continued to address methods of mitigating variational nuisances. Telephone and auxiliary-microphone recorded speech emphasize th...
162
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
: Conventional laparoscopic tools do not have the ability of providing force feedback to a surgeon during surgical procedures. Loss of haptic feedback in MIS procedures is a disadv...
276
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between query scores and data uncertainty ma...
167
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
As CMOS technology scales into the nanometer regime, power dissipation and associated thermal concerns in high-performance ICs due to on-chip hot-spots and thermal gradients are b...