68 search results - page 10 / 14 » wise 2007 |
BMCBI
2005
14 years 9 months ago
2005
Background: Wise et al. introduced a rank-based statistical technique for meta-analysis of genome scans, the Genome Scan Meta-Analysis (GSMA) method. Levinson et al. recently desc...
DGO
2006
14 years 11 months ago
2006
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports ...
CLIMA
2007
14 years 11 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
71
Voted
GRAPHICSINTERFACE
2003
14 years 11 months ago
2003
A new technique to enter text using a mobile phone keypad, Less-Tap, is described. The traditional touchtone phone keypad is ambiguous for text input because each button encodes 3...
AUTOMATICA
2002
14 years 9 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...