223 search results - page 1 / 45 » Automated Implicit Computational Complexity Analysis (System... |
CADE
2008
Springer
13 years 6 months ago
2008
Springer
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...
ISMB
2000
13 years 5 months ago
2000
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...
DLOG
2006
13 years 5 months ago
2006
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...
SEKE
2010
Springer
13 years 2 months ago
2010
Springer
—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 ...
DLOG
2003
13 years 5 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...