Sciweavers

8824 search results - page 197 / 1765
» On the Complexity of Real Functions
Sort
View
PKDD
2007
Springer
146views Data Mining» more  PKDD 2007»
16 years 19 days ago
A Method for Multi-relational Classification Using Single and Multi-feature Aggregation Functions
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
Richard Frank, Flavia Moser, Martin Ester
JOC
2006
77views more  JOC 2006»
15 years 6 months ago
An Improved Real-Quadratic-Field-Based Key Exchange Procedure
To date, the only non-group structure that has been suitably employed as the key space for Diffie-Hellman type cryptographic key exchange is the infrastructure of a real quadratic ...
Michael J. Jacobson Jr., Renate Scheidler, Hugh C....
RTCSA
2008
IEEE
16 years 27 days ago
A Framework for Designing Embedded Real-Time Controllers
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
Yifan Wu, Enrico Bini, Giorgio C. Buttazzo
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 6 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
RAS
2007
186views more  RAS 2007»
15 years 6 months ago
Tracking-error model-based predictive control for mobile robots in real time
In this paper, a model-predictive trajectory-tracking control applied to a mobile robot is presented. Linearized tracking-error dynamics is used to predict future system behavior ...
Gregor Klancar, Igor Skrjanc