Sciweavers

Share
233 search results - page 1 / 47
» Automated Implicit Computational Complexity Analysis (System...
Sort
View
CADE
2008
Springer
8 years 6 months ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
ISMB
2000
8 years 5 months ago
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste
DLOG
2006
8 years 5 months ago
Model checking the basic modalities of CTL with Description Logic
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
SEKE
2010
Springer
8 years 2 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
DICTA
2003
8 years 5 months ago
3-D Surface Segmentation of Free-Form Objects Using Implicit Algebraic Surfaces
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...
Rachid Benlamri, Yousuf Al-Marzooqi
books