Sciweavers

2226 search results - page 112 / 446
» Computable Analysis via Representations
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Towards a Logical Analysis of Biochemical Reactions
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
KES
2010
Springer
15 years 3 months ago
Visualization and Language Processing for Supporting Analysis across the Biomedical Literature
Finding relevant publications in the large and rapidly growing body of biomedical literature is challenging. Search queries on PubMed often return thousands of publications and it ...
Carsten Görg, Hannah J. Tipney, Karin Verspoo...
DATE
2002
IEEE
111views Hardware» more  DATE 2002»
15 years 9 months ago
A Linear-Centric Modeling Approach to Harmonic Balance Analysis
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
Peng Li, Lawrence T. Pileggi
EUROCRYPT
1999
Springer
15 years 9 months ago
An Analysis of Exponentiation Based on Formal Languages
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
Luke O'Connor
IPCV
2010
15 years 2 months ago
3D Camera-based Generic Gesture Analysis for Video Game Interface
- Conventional video games are controlled by players via physical game controllers. A new emerging trend for game control in recent years is to use intelligent sensor based interfa...
Gang Hu, Qigang Gao