Sciweavers

3706 search results - page 9 / 742
» System Description: E-KRHyper
Sort
View
DLOG
2003
13 years 9 months ago
From Description Logic Provers to Knowledge Representation Systems
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
Deborah L. McGuinness, Peter F. Patel-Schneider
CASC
2011
Springer
212views Mathematics» more  CASC 2011»
12 years 7 months ago
Semi-algebraic Description of the Equilibria of Dynamical Systems
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
Changbo Chen, Marc Moreno Maza
ICDE
2012
IEEE
267views Database» more  ICDE 2012»
11 years 10 months ago
Scalable and Numerically Stable Descriptive Statistics in SystemML
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
Yuanyuan Tian, Shirish Tatikonda, Berthold Reinwal...
EWSA
2005
Springer
14 years 1 months ago
Architecture Description for Mobile Distributed Systems
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
Volker Gruhn, Clemens Schäfer
CORR
2011
Springer
188views Education» more  CORR 2011»
13 years 2 months ago
Digraph description of k-interchange technique for optimization over permutations and adaptive algorithm system
The paper describes a general glance to the use of element exchange techniques for optimization over permutations. A multi-level description of problems is proposed which is a fund...
Mark Sh. Levin