68 search results - page 10 / 14 » wise 2007 |
BMCBI
2005
15 years 3 days 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...
93
Voted
DGO
2006
15 years 1 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 ...
116
Voted
CLIMA
2007
15 years 1 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...
GRAPHICSINTERFACE
2003
15 years 1 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...
114
Voted
AUTOMATICA
2002
15 years 2 days 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...