Sciweavers

17449 search results - page 607 / 3490
» Availability
Sort
View
NAR
2007
96views more  NAR 2007»
15 years 6 months ago
DOMAC: an accurate, hybrid protein domain prediction server
Protein domain prediction is important for protein structure prediction, structure determination, function annotation, mutagenesis analysis and protein engineering. Here we descri...
Jianlin Cheng
PPL
2007
88views more  PPL 2007»
15 years 6 months ago
Terminating alternator
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
Sandeep S. Kulkarni
RE
2008
Springer
15 years 6 months ago
Reusing Terminology for Requirements Specifications from WordNet
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
Katharina Wolter, Michal Smialek, Daniel Bildhauer...
ALGOSENSORS
2010
Springer
15 years 6 months ago
MSDR-D Network Localization Algorithm
Abstract. We present a distributed multi-scale dead-reckoning (MSDR-D) algorithm for network localization that utilizes local distance and angular information for nearby sensors. T...
Kevin Coogan, Varun Khare, Stephen G. Kobourov, Ba...
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske