Sciweavers

10988 search results - page 302 / 2198
» Algorithmic Folding Complexity
Sort
View
FASE
2008
Springer
15 years 6 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
PDCN
2007
15 years 5 months ago
Design and evaluation of an auto-memoization processor
This paper describes the design and evaluation of an auto-memoization processor. The major point of this proposal is to detect the multilevel functions and loops with no additiona...
Tomoaki Tsumura, Ikuma Suzuki, Yasuki Ikeuchi, Hir...
IJCAI
2003
15 years 5 months ago
A Method for Semantically Enhancing the Service Discovery Capabilities of UDDI
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...
Rama Akkiraju, Richard Goodwin, Prashant Doshi, Sa...
CANDC
2006
ACM
15 years 4 months ago
Prediction of protein subcellular location using hydrophobic patterns of amino acid sequence
The function of eukaryotic protein is closely correlated with its subcellular location. The number of newly found protein sequences entering into data banks is rapidly increasing ...
Tongliang Zhang, Yongsheng Ding, Kuo-Chen Chou
JCB
2006
79views more  JCB 2006»
15 years 4 months ago
A Stability Boundary Based Method for Finding Saddle Points on Potential Energy Surfaces
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micromolecule as well as in studying the folding pathways of...
Chandan K. Reddy, Hsiao-Dong Chiang